"An Efficient Evaluation Technique for Non-Stratified Programs by ..."

David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey (1997)

Details and statistics

DOI: 10.1023/A:1008275219746

access: closed

type: Journal Article

metadata version: 2020-08-25

a service of  Schloss Dagstuhl - Leibniz Center for Informatics