@article{oai:soar-ir.repo.nii.ac.jp:00018381,
 author = {Ishida, Kazuhisa and Shidama, Yasunari and Grabowski, Adam},
 issue = {1},
 journal = {Formalized Mathematics},
 month = {Mar},
 note = {Article, Formalized Mathematics. 22(1): 1-10 (2014)},
 pages = {1--10},
 title = {Definition of Flat Poset and Existence Theorems for Recursive Call},
 volume = {22},
 year = {2014}
}