"State-space search with tabled logic programs."

C. R. Ramakrishnan (2018)

Details and statistics

DOI: 10.1145/3191315.3191324

access: closed

type: Part in Book or Collection

metadata version: 2023-04-03

a service of  Schloss Dagstuhl - Leibniz Center for Informatics