Lifting knowledge to the state of inferencing (2004)

by Bruno Buchberger