"PROPEL: an approach supporting property elucidation."

Rachel L. Smith et al. (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics