@techreport{ hajn:87, author = "Hajnicz, Elżbieta", title = "System wnioskowania o~zależnościach czasowych między zdarzeniami. {K}oncepcja i~implementacja", year = "1987", number = "603", address = "Warsaw", type = "{IPI PAN} Research Report", institution = "Institute of Computer Science, Polish Academy of Sciences" }