Tabling for higher-order logic programming (2005)

by Brigitte Pientka
Venue:In 20th International Conference on Automated Deduction, Talinn