%0 Journal Article 
%F afin2006
%A Aceto, Luca
%A Fokkink, Wan
%A Ingolfsdottir, Anna
%A Nain, Sumit
%T Bisimilarity is not finitely based over BPA with interrupt
%J Theoretical Computer Science
%V 366
%N 1
%P 60-81
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/aceto2006.pdf
%U http://dx.doi.org/10.1016/j.tcs.2006.07.003
%D 2006
%K  coinduction