@inproceedings{7adac96610c74b81a5442cda1042db2c,
title = "Generating Proof-Specific Strategies for PVS",
author = "P. Kellom{\"a}ki",
note = "Contribution: organisation=ohj,FACT1=1",
year = "2003",
language = "English",
pages = "91--102",
editor = "M. Archer and {Di Vito}, B. and Munoz, {C. In}",
booktitle = "Design and Application of Strategies/Tactics in Higher Order Logics. Proceedings of a workshop sponsored by th Naval Research Laboratory, the National Aeronautics and Space Administration, andtheNational",
}