@techreport{ hajn:94, author = "Hajnicz, Elżbieta", title = "Logical description of the present", year = "1994", number = "767", address = "Warsaw", type = "{IPI PAN} Research Report", institution = "Institute of Computer Science, Polish Academy of Sciences" }