2ndcons1XconsYZY2ndconsXX12ndcons1XactivateX1fromXconsXn__fromsXfromXn__fromXactivaten__fromXfromXactivateXX2.02ndconsXX12ndcons1XactivateX12ndconsXX1activateX1activaten__fromXfromXtrue2ndconsXX12ndcons1XactivateX1false122ndconsXX1activateX1false1activaten__fromXfromXfalse
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe