2ndconsXn__consYZactivateYfromXconsXn__fromsXconsX1X2n__consX1X2fromXn__fromXactivaten__consX1X2consX1X2activaten__fromXfromXactivateXX2.02ndconsXn__consYZactivateYfromXconsXn__fromsXactivaten__consX1X2consX1X2activaten__fromXfromXtrue2ndconsXn__consYZactivateYfalse123activaten__fromXfromXfalse1fromXconsXn__fromsXfalseactivaten__consX1X2consX1X2false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe