Sorted Monotonic Logic Programs and their embeddings

Carlos Viegas Damásio, Luís Moniz Pereira,

Publisher	Universitat Politècnica de Catalunya
Address	Perugia, Italy
Publisher	Universitat Politècnica de Catalunya
Address	Perugia, Italy

Publication