Authors: Bowman, H Boiten, EA Derrick, J Steen, MWA

Citation: H. Bowman et al., Strategies for consistency checking based on unification, SCI COMP PR, 33(3), 1999, pp. 261-298