Philip W. Dart Justin Zobel Efficient Run-Time Type Checking of Typed Logic Programs. 31-69 1992 14 J. Log. Program. 1&2 db/journals/jlp/jlp14.html#DartZ92