Attributive description formalisms and the rest of the world (1991)

by Bernhard Nebel, Gert Smolka