An Extended RISC Methodology and its Application to FCP.

Arie Harsat, Ran Ginosar

Browse the full ICLP paper archive.