Logic Programs, Compatibility and Forward Chaining Construction.

Yisong Wang, Mingyi Zhang, Jia-Huai You
January 2009
Cite DOI
Type
Journal article
Publication
J. Comput. Sci. Technol.