Model Finiteness and Funetionality in a Declarative Language with Oid Invention.

Luca Cabibbo Giansalvatore Mecca Model Finiteness and Funetionality in a Declarative Language with Oid Invention. 207-226 1994 SEBD db/conf/sebd/sebd1994.html#CabibboM94