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