Ptime Canonization for Two Variables with Counting

Martin Otto

Browse the full LICS paper archive.