%0 Conference Paper %1 conf/iclp/Johansson84 %A Johansson, Anna-Lena %B ICLP %D 1984 %E Tärnlund, Sten-Åke %I Uppsala University %K dblp %P 243-251 %T Using Symmetry for the Derivation of Logic Programs. %U http://dblp.uni-trier.de/db/conf/iclp/iclp84.html#Johansson84

@inproceedings{conf/iclp/Johansson84, added-at = {2013-11-29T00:00:00.000+0100}, author = {Johansson, Anna-Lena}, biburl = {https://www.bibsonomy.org/bibtex/23a9a9eb525a3f811be6a2f7a23e86647/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/1984}, editor = {Tärnlund, Sten-Åke}, interhash = {c77210d2843719b6726f18bb83b58912}, intrahash = {3a9a9eb525a3f811be6a2f7a23e86647}, keywords = {dblp}, pages = {243-251}, publisher = {Uppsala University}, timestamp = {2013-11-30T11:33:19.000+0100}, title = {Using Symmetry for the Derivation of Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp84.html#Johansson84}, year = 1984 }