{"source":"book","style":"apa","contributors": [{"function":"author","last":"Carvalho","first":"O","middle":"S F"},{"function":"author","last":"Roucairol","first":"G"} ],"pubtype": {"main": "pubnonperiodical"},"pubnonperiodical": {"title":"Assertion decomposition for acyclic networks","publisher":"LRI","city":"Orsay","year":"1984"},"datasource":"/z-wcorg/","datasource":"http://www.worldcat.org","oclc":"26887963"}