A Contraint Logic Programming Scheme for Taxonomic Reasoning.

Margarida Mamede, Lus Monteiro

Browse the full ICLP paper archive.