"Planning with Regression Analysis in Transaction Logic."

Reza Basseda, Michael Kifer (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics