TY  - JOUR

T1  - Strategies for consistency checking based on unification

JO  - SCI COMPUT PROGRAM

PY  - 1999/03/01

AU  - Bowman H

AU  - Boiten EA

AU  - Derrick J

AU  - Steen MWA

ED  - 

VL  - 33

IS  - 3

SP  - 261

EP  - 298

Y2  - 2024/10/23

ER  -