Bottom-Up Logic ProgrammingFrank PfenningUnknownJanuary 1, 200610.1074/mcp.m400085-mcp200Cited by 0SaveCiteExport RISWatch citationsRelated PapersNo related papers foundPowered by citation graph analysis