A Knowledge Representation and Inference System for Procedural Law, New Generation Computing (1988)

by K Nitta, J Nagao, T Mizutori