Manuel Hernández, David A. Rosenblueth
Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms
PPDP, 2001.
@inproceedings{PPDP-2001-HernandezR,
author = "Manuel Hernández and David A. Rosenblueth",
booktitle = "{Proceedings of the Third International Conference on Principles and Practice of Declarative Programming}",
isbn = "1-58113-388-X",
pages = "38--48",
publisher = "{ACM}",
title = "{Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms}",
year = 2001,
}