Skip to content

An Efficient Constraint Language for Polymorphic Order-sorted Resoluton.

Christian Prehofer

VenueBJELIA
Year1992
ProceedingsJELIA

Browse the full JELIA paper archive.