Knowledge Representation of Design in Many-Sorted Logic.

Zsuzsanna Markusz Knowledge Representation of Design in Many-Sorted Logic. 264-269 1981 conf/ijcai/1981 IJCAI db/conf/ijcai/ijcai81.html#Markusz81