Ulrich Zukowski, Burkhard Freitag, Stefan Brass. Improving the Alternating Fixpoint: The Transformation Approach. In Jürgen Dix, Ulrich Furbach, Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR 97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Volume 1265 of Lecture Notes in Computer Science, pages 4-59, Springer, 1997.
@inproceedings{ZukowskiFB97,
title = {Improving the Alternating Fixpoint: The Transformation Approach},
author = {Ulrich Zukowski and Burkhard Freitag and Stefan Brass},
year = {1997},
tags = {systematic-approach, transformation},
researchr = {https://researchr.org/publication/ZukowskiFB97},
cites = {0},
citedby = {0},
pages = {4-59},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR 97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
editor = {Jürgen Dix and Ulrich Furbach and Anil Nerode},
volume = {1265},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63255-7},
}