@inproceedings{Lisitsa,
    doi = {10.1109/time.2005.34},
    url = {https://doi.org/10.1109%2Ftime.2005.34},
    publisher = {{IEEE}},
    author = {A. Lisitsa and I. Potapov},
    title = {Temporal Logic with Predicate {$\lambda$}-Abstraction},
    booktitle = {12th International Symposium on Temporal Representation and Reasoning ({TIME}{\textquotesingle}05)}
}

@inproceedings{Lisitsa, doi = {10.1109/time.2005.34}, url = {https://doi.org/10.1109%2Ftime.2005.34}, publisher = {{IEEE}}, author = {A. Lisitsa and I. Potapov}, title = {Temporal Logic with Predicate {$\lambda$}-Abstraction}, booktitle = {12th International Symposium on Temporal Representation and Reasoning ({TIME}{\textquotesingle}05)} }