zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLlengthnil0lengthconsNLU11ttactivateLzerosn__zerosactivaten__zeroszerosactivateXX2.0U12ttactivateactivaten__zeros2activateXXU12ttactivaten__zeros2activateXXU12ttn__zerosU12ttLslengthactivateLslengthactivaten__zeros11activaten__zeroszerosslengthzeros11zeroscons0n__zerosslengthcons0n__zeros1lengthconsNLU11ttactivateLsU11ttactivaten__zeros1U11ttLU12ttactivateLsU12ttactivateactivaten__zeross
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe