@inproceedings{Moeller1997, author = {Bernhard M{\"o}ller}, title = {Temporal operators on partial orders}, booktitle = {Proceedings: Workshop Domains III, Munich, May 29-31, 1997}, editor = {Ulrich Berger}, pages = {49 -- 58}, year = {1997}, }