_id,doi,title
4498,10.1109/SFCS.1995.492576,Computing simulations on finite and infinite graphs