lsts2pn---a translator from TVT LSTS files to the input file language of Maria (2001)
AUTHORS:
Mäkelä Marko
,
Varpaaniemi Kimmo
URL:
http://www.tcs.hut.fi/Software/maria/tools/tvt/tvt.html
@misc{ lsts2pn, author = {M{\"a}kel{\"a}, Marko and Varpaaniemi, Kimmo}, title = "lsts2pn---a translator from {TVT} {LSTS} files to the input file language of {Maria}", url = "http://www.tcs.hut.fi/Software/maria/tools/tvt/tvt.html", note = "computer program", flags = "ANNA-MARIA public copy", year = "2001", howpublished = "on the World Wide Web" }