TY - RPRT TI - Fingerprinting Logic Programs AU - Alexander Serebrenik AU - Wim Vanhoof PY - 2007 UR - https://arxiv.org/abs/cs/0701081 ID - cs/0701081 ER -