Derivation of logic programs by functional methods

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	325-332
Journal	Information Processing Letters
Volume	39
Issue number	6
DOIs	https://doi.org/10.1016/0020-0190(91)90006-4
Publication status	Published - 1991

Access to Document

@article{3e4ec0770bc0414b9c99600495b80b8b,

title = "Derivation of logic programs by functional methods",

author = "A. Bijlsma",

year = "1991",

doi = "10.1016/0020-0190(91)90006-4",

language = "English",

volume = "39",

pages = "325--332",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "6",

}