Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami. Nested Guarded Horn Clauses. Int. J. Found. Comput. Sci., 1(3):249-264, 1990.
@article{FalaschiGLM90,
title = {Nested Guarded Horn Clauses},
author = {Moreno Falaschi and Maurizio Gabbrielli and Giorgio Levi and Masaki Murakami},
year = {1990},
researchr = {https://researchr.org/publication/FalaschiGLM90},
cites = {0},
citedby = {0},
journal = {Int. J. Found. Comput. Sci.},
volume = {1},
number = {3},
pages = {249-264},
}