Role of Logic Programming in the FGCS Project.

Kazuhiro Fuchi Koichi Furukawa Role of Logic Programming in the FGCS Project. 311-325 1991 conf/tacs/1991 TACS db/conf/tacs/tacs91.html#FuchiF91