P-rho-Log: Combining Logic Programming with Conditional Transformation Systems.

Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer

Browse the full ICLP paper archive.