Bottom-Up Logic ProgrammingFrank Pfenning(Carnegie Mellon University)UnknownJanuary 1, 200610.1074/mcp.m400085-mcp200Cited by 0SaveCiteExport RISWatch citationsRelated PapersNo related papers foundPowered by citation graph analysis