%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:33 +0100 GMT
%    
% Selection : Reference #1117
%




@Article{Podelski_Smolka:1997,
      AUTHOR = {Podelski, Andreas and Smolka, Gert},
      TITLE = {Situated Simplification},
      YEAR = {1997},
      JOURNAL = {Theoretical Computer Science},
      VOLUME = {173},
      PAGES = {209-233}
}