An Operational Semantics for a Fragment of PRS.

Lavindra de Silva, Felipe Meneguzzi, Brian Logan

Browse the full IJCAI paper archive.