Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph.

Peter M. D. Gray, Graham J. L. Kemp

Browse the full EKAW paper archive.