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
Description
ISSN:14710684
DOI:10.1017/S147106841600048X