Logic Programs, Compatibility and Forward Chaining Construction
Yi-Song Wang, Ming-Yi Zhang, Jia-Huai YouVolume:
24
Language:
english
Pages:
13
DOI:
10.1007/s11390-009-9285-5
Date:
November, 2009
File:
PDF, 344 KB
english, 2009