Tor: extensible search with hookable disjunction

Tom Schrijvers, Markus Triska, Bart Demoen. Tor: extensible search with hookable disjunction. In Danny De Schreye, Gerda Janssens, Andy King, editors, Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. pages 103-114, ACM, 2012. [doi]

Authors

Tom Schrijvers

This author has not been identified. It may be one of the following persons: Look up 'Tom Schrijvers' in Google

Markus Triska

This author has not been identified. Look up 'Markus Triska' in Google

Bart Demoen

This author has not been identified. Look up 'Bart Demoen' in Google