Resourceful Reachability as HORN-LA.

Josh Berdine, Nikolaj S. Bjrner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger

Browse the full LPAR paper archive.