{"pages":[{"page_name":"Incremental_Backward_Change_Propagation_of_View_Models_by_Logic_Solvers","title":"Incremental_Backward_Change_Propagation_of_View_Models_by_Logic_Solvers","summary":null,"action":"edited","sha":"e2d91e8f9889062168792743a3887bc9798e189d","html_url":"/FTSRG/publication-pages/wiki/Incremental_Backward_Change_Propagation_of_View_Models_by_Logic_Solvers"}]}