Recommend this title to your librarian

  • On Types and Type Consistency in Logic Programming