Predicate Analysis with BLAST 2.7 - (Competition Contribution).

Pavel Shved, Mikhail U. Mandrykin, Vadim S. Mutilin

Browse the full TACAS paper archive.