Douglas A. Cenzer Jeffrey B. Remmel Amy Vanderbilt Locally Determined Logic Programs. 34-48 http://link.springer.de/link/service/series/0558/bibs/1730/17300034.htm 1999 conf/lpnmr/1999 LPNMR db/conf/lpnmr/lpnmr99.html#CenzerRV99