Anna-Lena Johansson. Using Symmetry for the Derivation of Logic Programs. In ICLP. pages 243-251, 1984.
@inproceedings{Johansson84, title = {Using Symmetry for the Derivation of Logic Programs}, author = {Anna-Lena Johansson}, year = {1984}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Johansson84}, cites = {0}, citedby = {0}, pages = {243-251}, booktitle = {ICLP}, }