Spatial Reasoning with Propositional Logic (1994)

by B Bennett
Venue:In Proc. of 4th Intl Conf on KR and Reasoning (KR-94