Journal article

Efficient run-time type checking of typed logic programs

PW Dart, J Zobel

The Journal of Logic Programming | Published : 1992

DOI: 10.1016/0743-1066(92)90046-6

University of Melbourne Researchers

Philip Dart Author Computing and Information Systems

Justin Zobel Author

Citation metrics