Luís Fernando Castro, David Scott Warren
Approximate Pruning in Tabled Logic Programming
ESOP, 2003.
@inproceedings{ESOP-2003-CastroW, author = "Luís Fernando Castro and David Scott Warren", booktitle = "{Proceedings of the 12th European Symposium on Programming}", doi = "10.1007/3-540-36575-3_6", editor = "Pierpaolo Degano", isbn = "3-540-00886-1", pages = "69--83", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Approximate Pruning in Tabled Logic Programming}", volume = 2618, year = 2003, }