%% -*-BibTeX-*- @InProceedings{CaGr93, author = "M. Carlsson and M. Grindal", booktitle = "Proceedings of the Tenth International Conference on Logic Programming", title = "Automatic frequency assignment for cellular telephones using constraint satisfaction techniques", pages = "648--665", year = "1993", language = "English", }