"A Solution to the State Space Explosion Problem in Declarative Business ..."

Natália C. Silva, César A. L. Oliveira, Ricardo M. F. Lima (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics