Providing Built-In Counters in a Declarative Dynamic Programming Environment.

Michael Abseher, Marius Moldovan, Stefan Woltran

Browse the full KI paper archive.