Rule-Based Programming with sigma-Log.

Mircea Marin, Tetsuo Ida

Browse the full SYNASC paper archive.