Michel Chein Marie-Laure Mugnier Geneviève Simonet Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. 524-535 1998 KR db/conf/kr/kr98.html#CheinMS98