@inproceedings{RISC3451,
author = {N. Popov and T. Jebelean},
title = {{Verification of Functional Programs Containing Nested Recursion }},
booktitle = {{SCSS'08}},
language = {english},
pages = {163--175},
isbn_issn = {.},
year = {2008},
month = {July},
editor = {B. Buchberger and T. Ida and T. Kutsia},
refereed = {yes},
length = {13},
conferencename = {Austrian-Japan Workshop on Symbolic Computation in Software Science, Hagenberg, Austria}
}