Order-Sorted Feature Theory Unification.
Hassan At-Kaci, Andreas Podelski, Seth Copen Goldstein
VenueBICLP
Year1993
ProceedingsICLP Workshop on Concurrent Constraint Programming
DBLP recordconf/iclp/Ait-KaciPG93 ↗
Browse the full ICLP paper archive.
Hassan At-Kaci, Andreas Podelski, Seth Copen Goldstein
Browse the full ICLP paper archive.