Journal article

Efficient run-time type checking of typed logic programs

PW Dart, J Zobel

The Journal of Logic Programming | Published : 1992