Incremental Analysis of Logic Programs (1995)

by Manuel Hermenegildo , Germán Puebla , Kim Marriott , Peter J. Stuckey
Citations:29 - 18 self