@article{Tar86,
        title = {Logic Programming - From a Logic Point of View},
        address = {Salt Lake City},
        author = {S.-A. Tarnlund},
        journal = {Proceedings of the 1986 Symposium on Logic Programming},
        publisher = {IEEE},
        year = 1986,
        description = {The big one},
	biburl = {http://www.bibsonomy.org/bibtex/214e8711b8ec3af0ad5dd62dd6e320a7e/diana},
	keywords = {lprog}
}