Observations about using logic as a specification language. Miller, D. In Proceedings of GULP-PRODE'95: Joint Conference on Declarative Programming, Marina di Vietri (Salerno-Italy), September, 1995.
bibtex   
@inproceedings{miller95gulp,
  author = {Dale Miller},
  title = {Observations about using logic as a specification
                 language},
  booktitle = {Proceedings of GULP-PRODE'95: Joint Conference on
                 Declarative Programming},
  editor = {M. Sessa},
  address = {Marina di Vietri (Salerno-Italy)},
  month = sep,
  year = {1995}
}

Downloads: 0