Carlos Viegas Damásio, Luís Moniz Pereira:
Sorted Monotonic Logic Programs and their embedding (extended version).
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-11
@inproceedings{REWERSE-RP-2005-11,
author = {Carlos Viegas Damásio and Luís Moniz Pereira},
title = {Sorted Monotonic Logic Programs and their embedding (extended version)},
booktitle = {Proceedings of In Information Processing and Management of Uncertainty in Knowledge-Based Systems, Perugia, Italy (4th--9th July 2004)},
year = {2005},
pages = {807--814},
url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-11}
}