swMATH1821MaRDI QIDQ14469FDOQ14469
Author name not available (Why is that?)
Official website: https://www.researchgate.net/publication/43515714_A_tool_for_logic_program_refinement_Extended_abstract
Cited In (1)
This page was built for software: REFLP
