Completenss of constraint-based inference. URL: http://www.cs.mu.oz.au/ ~sulzmann/publications/constraint-inference.ps (2000)

by M Sulzmann