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  -