@incollection{
    hajn:95a,
    editor = "Bolc, Leonard and Szałas, Andrzej",
    author = "Hajnicz, Elżbieta",
    publisher = "UCL Press",
    title = "An analysis of structure of time in the first order predicate calculus",
    booktitle = "Time and Logic. {A} computational approach",
    year = "1995",
    address = "London",
    pages = "279--322"
}