aaabx1baaax1babax1abbax12.0baaax1aaabx1ababx1abbax1baaax1aaabx1baaax1aabx1baaax1abx1baaax1bx1ababx1abbax1ababx1bbax1ababx1bax1ababx1ax1truebaaax1abx1ababx1abbax1ababx1bbax1baaax1bx1ababx1bax1ababx1ax1true121b1111a1111a1111b1111ababx1abbax131a100001b1000001a100011baaax1aaabx1falsebaaax1aabx1false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe