LARA

This is an old revision of the document!


Here is a link to ACM Digital library: http://portal.acm.org

Some predicate abstraction papers: