Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.

Prasanna Thati, Jos Meseguer

Browse the full CALCO paper archive.