Vladimir Lifschitz, Hudson Turner. Representing Transition Systems by Logic Programs. In Michael Gelfond, Nicola Leone, Gerald Pfeifer, editors, Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR 99, El Paso, Texas, USA, December 2-4, 1999, Proceedings. Volume 1730 of Lecture Notes in Computer Science, pages 92-106, Springer, 1999. [doi]
@inproceedings{LifschitzT99,
title = {Representing Transition Systems by Logic Programs},
author = {Vladimir Lifschitz and Hudson Turner},
year = {1999},
url = {http://link.springer.de/link/service/series/0558/bibs/1730/17300092.htm},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/LifschitzT99},
cites = {0},
citedby = {0},
pages = {92-106},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR 99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
editor = {Michael Gelfond and Nicola Leone and Gerald Pfeifer},
volume = {1730},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66749-0},
}