V. Wiktor Marek. Executing Temporal Logic Programs by Ben Moszkowski. SIGART Bulletin, 98:15, 1986. [doi]
@article{Marek86-0, title = {Executing Temporal Logic Programs by Ben Moszkowski}, author = {V. Wiktor Marek}, year = {1986}, doi = {10.1145/15923.1058025}, url = {http://doi.acm.org/10.1145/15923.1058025}, researchr = {https://researchr.org/publication/Marek86-0}, cites = {0}, citedby = {0}, journal = {SIGART Bulletin}, volume = {98}, pages = {15}, }