"Recursive modal unification for reasoning with knowledge using a graph ..."

M. C. Chan, Brian J. Garner, Eric Tsui (1988)

Details and statistics

DOI: 10.1016/0950-7051(88)90004-4

access: closed

type: Journal Article

metadata version: 2023-08-28