Neng-Fa Zhou Isao Nagasawa Implementing Graph Algorithms in BeTa-Prolog. 23-32 1992 conf/iwar/1992 IWAR db/conf/iwar/iwar1992.html#ZhouN92