Theta-Subsumption and Resolution: A New Algorithm.

Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito

Browse the full ISMIS paper archive.