@article{BSL7_2_Sankappanavar,
author = {Hanamantagouda P. SANKAPPANAVAR},
title = {Decision Problems: History and Methods},
journal = {Bulletin of the Section of Logic},
volume = {7},
number = {2},
year = {1978},
pages = {96--97}
}