\textsc{lp2normal} -- a normalization tool for extended logic programs (Q2401937)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\textsc{lp2normal} -- a normalization tool for extended logic programs
scientific article

    Statements

    \textsc{lp2normal} -- a normalization tool for extended logic programs (English)
    0 references
    0 references
    5 September 2017
    0 references
    0 references
    0 references