View in EDS PDF Full Text

Tabling with Sound Answer Subsumption.

Saved in:
Bibliographic Details
Title: Tabling with Sound Answer Subsumption.
Authors: VANDENBROUCKE, ALEXANDER1, PIRÓG, MACIEJ2, DESOUTER, BENOIT3, SCHRIJVERS, TOM4, Carro, Manuel, King, Andy
Source: Theory & Practice of Logic Programming; Sep2016, Vol. 16 Issue 5/6, p933-949, 17p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first