%0 Journal Article
%A Radev, Slavian
%T Mixed Theories
%J Serdica Journal of Computing
%D 2007
%P 101-114
%V 1
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJC_2007_1_1_a4/
%G en
%F SJC_2007_1_1_a4