Some proofs by strzctural induction on lists
Novi Sad Journal of Mathematics, Tome 12 (1982).

Voir la notice de l'article provenant de la source Novi sad journal of mathematics website

@article{NSJOM_1982_12_Nonea_19,
     author = {Stojmenovi\'c Ivan and Stojkovi\'c 

 Vojislav},
     title = {Some proofs by strzctural 

 induction on lists},
     journal = {Novi Sad Journal of Mathematics},
     pages = {235-250},
     publisher = {mathdoc},
     volume = {12},
     year = {1982},
     url = {http://geodesic.mathdoc.fr/item/NSJOM_1982_12_Nonea_19/}
}
TY  - JOUR
AU  - Stojmenović Ivan
AU  - Stojković 

 Vojislav
TI  - Some proofs by strzctural 

 induction on lists
JO  - Novi Sad Journal of Mathematics
PY  - 1982
SP  - 235
EP  - 250
VL  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/NSJOM_1982_12_Nonea_19/
ID  - NSJOM_1982_12_Nonea_19
ER  - 
%0 Journal Article
%A Stojmenović Ivan
%A Stojković 

 Vojislav
%T Some proofs by strzctural 

 induction on lists
%J Novi Sad Journal of Mathematics
%D 1982
%P 235-250
%V 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/NSJOM_1982_12_Nonea_19/
%F NSJOM_1982_12_Nonea_19
Stojmenović Ivan; Stojković 

 Vojislav. Some proofs by strzctural 

 induction on lists. Novi Sad Journal of Mathematics, Tome 12 (1982). http://geodesic.mathdoc.fr/item/NSJOM_1982_12_Nonea_19/