4 works on record
Foundations and applications of MIS
孙中山在梧州
Tractable reasoning in incomplete first-order knowledge bases
Hoare logic for GOLOG programs