DMCA

A new approach to non-termination analysis of Logic Programs (2009)

by Dean Voets , Danny De Schreye
Citations:5 - 1 self