Proving Facts about "|".

Michael J. Miller, Donald Perlis

Browse the full IJCAI paper archive.