Twenty years of rewriting logic

Saved in:
Bibliographic Details
Published in:The journal of logic and algebraic programming Vol. 81; no. 7-8; pp. 721 - 781
Main Author: Meseguer, José
Format: Journal Article
Language:English
Published: 01.10.2012
ISSN:1567-8326
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Author Meseguer, José
Author_xml – sequence: 1
  givenname: José
  surname: Meseguer
  fullname: Meseguer, José
BookMark eNp9z71qwzAYhWENKTRJewNd6huw-0myPkljCf0JBLqks5AcKci4dpAEwXffhHbq0OlM74FnRRbjNHpCHig0FCg-9U0_2FPDgLIGsAHgC7KkAmWtOMNbssq5B6ASFC7J4_7sxzJXs7cpV1Ookj-nWOJ4rIbpGLs7chPskP39767J5-vLfvNe7z7etpvnXd2xVpa6ZcE6sAqs9lJjqzxaRxl3WnPeoRcorNNSihYdk4EfghIH6TQKb6WiwNeE_fx2aco5-WBOKX7ZNBsK5soyvbmyzJVlAM2FdYnUn6iLxZY4jSXZOPyXfgMjOFdM
CitedBy_id crossref_primary_10_1016_j_scico_2014_02_006
crossref_primary_10_1016_j_scico_2014_10_001
crossref_primary_10_4028_www_scientific_net_AMM_519_520_387
crossref_primary_10_1016_j_tcs_2016_12_026
crossref_primary_10_1017_S1471068419000243
crossref_primary_10_1145_3397677
crossref_primary_10_1145_3170492_3136042
crossref_primary_10_1016_j_jlamp_2022_100810
crossref_primary_10_1016_j_scico_2014_02_011
crossref_primary_10_1007_s00165_017_0443_1
crossref_primary_10_1016_j_scico_2019_03_006
crossref_primary_10_3233_MGS_170277
crossref_primary_10_1007_s10270_021_00947_1
crossref_primary_10_1109_TR_2024_3354459
crossref_primary_10_1016_j_jlamp_2017_09_001
crossref_primary_10_1016_j_tcs_2018_01_006
crossref_primary_10_1145_3732934
crossref_primary_10_1016_j_jlamp_2021_100680
crossref_primary_10_1016_j_jlamp_2015_03_003
crossref_primary_10_1016_j_jlamp_2022_100827
crossref_primary_10_1016_j_scico_2016_05_001
crossref_primary_10_56415_csjm_v32_01
crossref_primary_10_1016_j_scico_2024_103097
crossref_primary_10_1016_j_jlamp_2023_100887
crossref_primary_10_3390_app15073966
crossref_primary_10_1016_j_scico_2017_08_015
crossref_primary_10_1109_ACCESS_2020_3010697
crossref_primary_10_1016_j_scico_2022_102893
crossref_primary_10_1002_spe_3057
crossref_primary_10_1016_j_scico_2015_06_001
crossref_primary_10_1007_s10817_017_9417_5
crossref_primary_10_1016_j_jlamp_2024_101005
crossref_primary_10_1016_j_jlamp_2024_101006
crossref_primary_10_1155_2017_1809513
crossref_primary_10_1109_ACCESS_2022_3230844
crossref_primary_10_1016_j_jlamp_2019_100497
crossref_primary_10_1109_TIE_2016_2633476
crossref_primary_10_3233_MGS_180298
crossref_primary_10_4018_ijertcs_2014070103
crossref_primary_10_3390_info14070384
crossref_primary_10_1145_3158114
crossref_primary_10_1109_ACCESS_2019_2896947
crossref_primary_10_1016_j_jlamp_2025_101036
crossref_primary_10_1016_j_scico_2015_04_006
crossref_primary_10_1016_j_scico_2021_102760
crossref_primary_10_1016_j_jlap_2013_05_002
crossref_primary_10_1016_j_entcs_2020_08_003
crossref_primary_10_1016_j_sysarc_2022_102438
crossref_primary_10_1145_3708475
crossref_primary_10_1007_s10515_021_00307_9
crossref_primary_10_1016_j_scico_2013_11_043
crossref_primary_10_56415_csjm_v31_14
crossref_primary_10_1007_s10817_018_09505_9
crossref_primary_10_1145_3267127
crossref_primary_10_1016_j_jlamp_2021_100700
crossref_primary_10_1017_S0960129522000251
crossref_primary_10_1016_j_entcs_2018_10_002
crossref_primary_10_1016_j_jvlc_2018_10_004
crossref_primary_10_4204_EPTCS_417_2
crossref_primary_10_1145_3604610
crossref_primary_10_7717_peerj_cs_2098
Cites_doi 10.1016/j.entcs.2004.06.012
10.4204/EPTCS.36.9
10.1016/j.entcs.2007.06.005
10.1016/S0304-3975(99)00206-6
10.1007/978-3-540-88313-5_35
10.1109/ISoLA.2006.66
10.1007/978-3-642-03429-9
10.1007/BF00245294
10.1007/978-3-642-14052-5_20
10.1007/978-3-642-00593-0_2
10.1007/978-3-642-16310-4_3
10.1016/j.entcs.2005.12.028
10.1016/j.entcs.2007.01.004
10.1007/3-540-59200-8_59
10.1109/JPROC.2002.805829
10.1007/3-540-52885-7_90
10.1145/1140335.1140351
10.1016/j.entcs.2009.05.020
10.1007/3-540-58184-7_138
10.1016/S1571-0661(04)00033-7
10.1023/A:1008610818519
10.1023/A:1021975117537
10.1007/3-540-54317-1_81
10.1017/S0960129500000980
10.1007/978-3-540-25935-0_13
10.1109/QEST.2005.42
10.1145/1314436.1314446
10.1007/11693017_26
10.1007/978-3-642-16901-4
10.1145/322248.322251
10.1016/j.entcs.2007.06.006
10.1007/978-3-642-16310-4_12
10.1109/SMC-IT.2009.31
10.1016/j.entcs.2009.10.025
10.1017/S0960129501003462
10.1007/978-3-642-15497-3_19
10.1023/A:1027357912519
10.1145/138027.138060
10.1007/3-540-64299-4_26
10.4204/EPTCS.36.6
10.1016/S1571-0661(05)82537-X
10.1007/3-540-59200-8
10.1007/978-3-642-22110-1_11
10.1007/978-3-540-27815-3_14
10.1145/1273920.1273938
10.1016/S1571-0661(05)82554-X
10.1016/S0304-3975(01)00367-X
10.1016/S1571-0661(05)80016-7
10.1007/978-3-540-39958-2_3
10.1007/3-540-48320-9_12
10.1007/978-3-642-00593-0
10.1006/jsco.1994.1040
10.1007/978-3-642-12029-9_3
10.1109/QSIC.2007.4385520
10.1007/s10990-007-9001-5
10.4204/EPTCS.36.3
10.1016/S1571-0661(04)80674-1
10.1007/978-3-642-24559-6_43
10.1016/j.entcs.2007.06.012
10.1016/S1571-0661(04)00035-0
10.1016/j.entcs.2004.06.015
10.1016/S1571-0661(05)82539-3
10.1137/0215084
10.5381/jot.2010.9.3.a2
10.1007/11784180_28
10.1007/11784180_13
10.1016/j.tcs.2008.09.022
10.1016/j.entcs.2009.05.010
10.1007/b98770
10.1016/j.jlap.2010.03.012
10.1016/S0304-3975(01)00359-0
10.1109/SP.2007.6
10.1016/j.jsc.2004.02.003
10.1007/978-3-540-74835-9_38
10.1145/322217.322230
10.1016/j.entcs.2004.06.027
10.1007/3-540-44881-0_6
10.1007/978-3-642-16310-4_5
10.1016/S1571-0661(04)00031-3
10.1016/S0304-3975(01)00366-8
10.1016/0169-7552(94)00032-O
10.1145/2003476.2003481
10.1017/S0960129500003236
10.1007/978-3-540-25984-8_1
10.1007/978-3-540-68679-8_22
10.1016/j.entcs.2004.06.024
10.1016/0304-3975(92)90185-I
10.1109/IPDPS.2008.4536574
10.1145/571157.571164
10.1016/j.entcs.2007.02.053
10.1016/j.tcs.2006.04.012
10.1007/978-3-642-01244-0_6
10.1007/s10990-007-9003-3
10.1109/VLHCC.2009.5295300
10.1016/j.entcs.2007.06.008
10.5381/jot.2009.8.2.a2
10.1007/BF03177743
10.1007/11916277_11
10.1007/3-540-44881-0
10.1109/DATE.2008.4484750
10.1016/j.ic.2006.05.002
10.1016/S1571-0661(05)80135-5
10.1016/j.csi.2004.10.008
10.1109/MEMCOD.2008.4547694
10.1016/j.entcs.2007.06.015
10.1007/978-3-642-17796-5_9
10.1016/j.scico.2006.07.002
10.1016/j.csi.2006.11.004
10.1109/SP.1982.10014
10.1007/978-3-540-32033-3_13
10.1145/1028613.1028622
10.1016/j.entcs.2009.05.023
10.3233/FUN-2005-681-205
10.1016/j.entcs.2007.05.022
10.1007/978-3-642-00593-0_18
10.1016/B978-044450556-9/50061-7
10.1016/j.ic.2010.03.003
10.1007/3-540-48118-4_39
10.1007/978-3-540-72952-5_8
10.1007/978-3-642-16242-8_42
10.1093/jigpal/jzn018
10.4204/EPTCS.36.2
10.1145/888251.888264
10.1016/S1571-0661(04)00046-5
10.1016/j.entcs.2009.02.069
10.1007/3-540-44881-0_4
10.4204/EPTCS.36.8
10.1007/3-540-55719-9_110
10.1007/BFb0039072
10.1109/DSN.2008.4630118
10.1007/978-3-642-03429-9_10
10.1007/3-540-64299-4_27
10.1007/s10703-005-2254-x
10.1007/978-3-642-13977-2_12
10.1016/j.tcs.2006.07.008
10.1007/BF01995674
10.1016/S1571-0661(05)80022-2
10.1007/978-3-540-72952-5_18
10.1145/1045405.1045413
10.1007/BF03036469
10.1006/inco.1999.2837
10.1007/978-3-642-22944-2
10.1016/0167-6423(90)90044-E
10.1007/3-540-61604-7_64
10.1007/978-3-540-73449-9_18
10.4204/EPTCS.36.4
10.1007/11560647_1
10.1109/MEMCOD.2010.5558634
10.4204/EPTCS.36.0
10.1007/978-3-642-10373-5_37
10.1007/978-3-540-73449-9_5
10.1109/SP.2008.19
10.1017/S0960129507006093
10.1016/S1571-0661(05)82530-7
10.1016/S0304-3975(01)00358-9
10.1007/978-3-642-59048-1_7
10.1016/j.jtbi.2011.08.038
10.1016/j.entcs.2009.07.062
10.1007/978-3-642-22944-2_22
10.1007/978-3-642-16310-4_14
10.4204/EPTCS.36.7
10.1007/978-3-642-02571-6_7
10.1016/j.entcs.2006.03.017
10.4108/ICST.MOBIQUITOUS2008.3916
10.1007/978-3-540-45236-2_21
10.1007/978-3-642-04444-1_40
10.1109/LICS.1989.39186
10.1007/3-540-45314-8_24
10.1007/978-3-642-17796-5_12
10.1007/s10703-006-0015-0
10.1007/3-540-48320-9_29
10.1016/S1571-0661(05)80139-2
10.1007/978-0-387-35520-7_5
10.1016/S1571-0661(05)82550-2
10.1142/3831
10.1016/j.tcs.2006.12.018
10.1007/978-3-642-16901-4_44
10.1145/1462179.1462182
10.1016/0890-5401(88)90005-3
10.1007/978-3-540-32033-3_19
10.1109/DISCEX.2000.825030
10.1007/3-540-44881-0_3
10.1016/0304-3975(87)90090-9
10.1016/S0304-3975(01)00363-2
10.1007/978-3-540-68863-1_10
10.1016/j.tcs.2006.12.009
10.1016/j.entcs.2005.06.040
10.1016/j.entcs.2009.05.021
10.3233/FUN-2005-68304
10.1023/A:1018998524196
10.4204/EPTCS.18.6
10.1007/3-540-36135-9_19
10.1007/978-3-642-04222-5_15
10.1016/j.jlap.2009.07.003
10.1016/j.jlap.2009.08.001
10.1016/S1571-0661(05)80023-4
10.1016/j.tcs.2006.08.035
10.1109/SEFM.2009.11
10.1007/BF01211866
10.1007/978-3-540-45085-6_26
10.1016/j.ic.2008.03.026
10.1007/978-3-642-24933-4_17
10.1007/978-3-540-75454-1_19
10.1007/1-4020-8143-X_6
10.1007/978-3-540-73449-9_13
10.1016/S0304-3975(01)00165-7
10.1007/978-3-642-16310-4_10
10.1016/j.entcs.2009.02.068
10.1007/11548133_20
10.1007/978-3-642-16310-4_11
10.1007/978-3-642-16310-4_8
10.1016/B978-044450556-9/50065-4
10.1093/bib/4.3.236
10.1016/S0920-5489(02)00121-6
10.1007/978-3-642-04694-0_10
10.1145/253228.253238
10.1142/S0129054101000412
10.1109/SCAM.2006.16
10.1016/j.tcs.2008.04.037
10.1007/3-540-59200-8_79
10.1109/POLICY.2003.1206954
10.1017/S0956796800003907
10.1016/S1571-0661(05)80012-X
10.1145/1389449.1389463
10.1042/bj3510289
10.1007/978-3-642-16901-4_1
10.1145/1273920.1273943
10.1016/j.tcs.2006.12.016
10.1016/S1571-0661(05)82549-6
10.1007/3-540-45610-4_18
10.1109/DISCEX.2000.824980
10.1016/S1571-0661(05)82533-2
10.1142/9789812799623_0038
10.1145/147508.147524
10.1007/3-540-44881-0_15
10.1007/3-540-48118-4_38
10.1016/j.entcs.2008.03.101
10.1007/978-3-642-03829-7_1
10.1016/S0049-237X(08)70132-0
10.1016/j.jlap.2005.09.008
10.1109/SNPD.2008.42
10.1007/3-540-44755-5_23
10.1016/S1571-0661(04)00034-9
10.1016/j.entcs.2007.02.055
10.1007/11814771_14
10.1007/978-3-540-27813-9_46
10.1016/j.ipl.2005.05.002
10.1109/ASE.2006.73
10.1007/978-3-540-27815-3_10
10.1007/978-3-642-02348-4_27
10.1007/978-3-642-22944-2_30
10.1007/3-540-47993-7_1
10.1007/3-540-48118-4
10.1016/j.ic.2007.11.002
10.1007/s10990-007-9000-6
10.1007/s10990-008-9028-2
10.1145/1013560.1013566
10.1007/978-3-540-39958-2_12
10.1073/pnas.50.5.869
10.1109/CSMR.2005.14
10.1016/S1571-0661(05)80140-9
10.1007/978-3-540-85863-8_50
10.1016/S0304-3975(01)00365-6
10.1016/0304-3975(94)90010-8
10.1016/S1571-0661(05)80020-9
10.1007/11805618_5
10.1007/10721975_1
10.1016/j.entcs.2009.03.038
10.1007/978-3-642-16310-4_4
10.1016/j.entcs.2009.10.015
10.1007/978-3-540-73449-9_19
10.1016/S1571-0661(05)82526-5
10.1007/978-3-642-04444-1_24
10.1109/WSC.2006.322940
10.1007/978-3-642-16901-4_21
10.1016/j.entcs.2009.02.072
10.1016/S1571-0661(05)82613-1
10.1007/978-3-642-34005-5_10
10.1016/j.entcs.2009.05.014
10.1016/j.entcs.2004.06.019
10.1016/j.tcs.2008.04.040
10.1016/S0890-5401(02)93176-7
10.1007/3-540-10003-2_61
10.1016/S1571-0661(05)80132-X
10.1007/3-540-45499-3_30
10.1145/2003476.2003488
10.1007/BFb0014422
10.1007/s001650300003
10.1145/1217856.1217859
10.1007/978-3-540-68863-1_4
10.1016/j.entcs.2009.05.022
10.1016/S1571-0661(04)00044-1
10.1007/978-3-642-22944-2_28
10.1016/j.entcs.2007.06.007
10.1109/NPSEC.2005.1532045
10.1145/97945.97958
10.1142/9789812704856_0053
10.1109/SRDS.2008.11
10.1016/j.entcs.2009.05.011
10.1145/1985793.1985928
10.1007/s00165-009-0140-9
10.1016/0304-3975(92)90182-F
10.1016/0743-1066(95)00095-X
10.1016/S0304-3975(01)00357-7
10.1007/b135673
10.1007/978-3-642-03429-9_6
10.1016/S0304-3975(01)00360-7
10.1109/DASC.2009.5347579
10.1016/S0167-6423(96)00024-X
10.1007/s10270-006-0012-1
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.jlap.2012.06.003
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 781
ExternalDocumentID 10_1016_j_jlap_2012_06_003
GroupedDBID --K
--M
-~X
.~1
0R~
1B1
1~.
1~5
29K
4.4
4G.
5GY
5VS
7-5
71M
8P~
9DU
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AAQXK
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABBOA
ABFNM
ABJNI
ABMAC
ABWVN
ABXDB
ACDAQ
ACGFS
ACLOT
ACNCT
ACNNM
ACRLP
ACRPL
ACVFH
ACZNC
ADBBV
ADCNI
ADEZE
ADMUD
ADNMO
ADVLN
AEBSH
AEIPS
AEKER
AETEA
AEUPX
AEXQZ
AFPUW
AFTJW
AGHFR
AGQPQ
AGUBO
AGYEJ
AHZHX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
ASPBG
AVWKF
AXJTR
AZFZN
BKOJK
BLXMC
CITATION
CS3
D-I
D0L
DU5
EBS
EFJIC
EFKBS
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-Q
GBOLZ
HVGLF
HZ~
IHE
IXB
J1W
KOM
M41
MO0
N9A
O-L
O9-
OAUVE
OK1
OZT
P-8
P-9
P2P
PC.
Q38
R2-
ROL
RPZ
SDF
SDG
SDP
SES
SEW
SPC
SSV
SSZ
T5K
TN5
UHS
~HD
ID FETCH-LOGICAL-c247t-42fab0a80a9e79648e6ab123b9933c6e565ab977546b27f3df85d7b965ea78103
ISICitedReferencesCount 140
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000311195300002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1567-8326
IngestDate Tue Nov 18 22:25:25 EST 2025
Sat Nov 29 07:02:38 EST 2025
IsPeerReviewed false
IsScholarly false
Issue 7-8
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c247t-42fab0a80a9e79648e6ab123b9933c6e565ab977546b27f3df85d7b965ea78103
PageCount 61
ParticipantIDs crossref_primary_10_1016_j_jlap_2012_06_003
crossref_citationtrail_10_1016_j_jlap_2012_06_003
PublicationCentury 2000
PublicationDate 2012-10-00
PublicationDateYYYYMMDD 2012-10-01
PublicationDate_xml – month: 10
  year: 2012
  text: 2012-10-00
PublicationDecade 2010
PublicationTitle The journal of logic and algebraic programming
PublicationYear 2012
References Alur (10.1016/j.jlap.2012.06.003_b0125) 1990
10.1016/j.jlap.2012.06.003_b0345
10.1016/j.jlap.2012.06.003_b1435
10.1016/j.jlap.2012.06.003_b1555
10.1016/j.jlap.2012.06.003_b1315
10.1016/j.jlap.2012.06.003_b0220
10.1016/j.jlap.2012.06.003_b1310
10.1016/j.jlap.2012.06.003_b0100
10.1016/j.jlap.2012.06.003_b1430
10.1016/j.jlap.2012.06.003_b1675
Romero (10.1016/j.jlap.2012.06.003_b2010) 2007; 29
10.1016/j.jlap.2012.06.003_b0465
Durán (10.1016/j.jlap.2012.06.003_b0840) 2003; 25
10.1016/j.jlap.2012.06.003_b1795
10.1016/j.jlap.2012.06.003_b0590
10.1016/j.jlap.2012.06.003_b1680
10.1016/j.jlap.2012.06.003_b0470
Laneve (10.1016/j.jlap.2012.06.003_b1390) 1996; 6
10.1016/j.jlap.2012.06.003_b1440
10.1016/j.jlap.2012.06.003_b0230
10.1016/j.jlap.2012.06.003_b1560
Lucas (10.1016/j.jlap.2012.06.003_b1445) 1998; 1998
Martı´-Oliet (10.1016/j.jlap.2012.06.003_b1505) 2002; 285
Clavel (10.1016/j.jlap.2012.06.003_b0525) 2002; 285
10.1016/j.jlap.2012.06.003_b0115
10.1016/j.jlap.2012.06.003_b1205
10.1016/j.jlap.2012.06.003_b0110
10.1016/j.jlap.2012.06.003_b1200
10.1016/j.jlap.2012.06.003_b0595
10.1016/j.jlap.2012.06.003_b1320
10.1016/j.jlap.2012.06.003_b1565
10.1016/j.jlap.2012.06.003_b1685
10.1016/j.jlap.2012.06.003_b1570
10.1016/j.jlap.2012.06.003_b1690
Alpuente (10.1016/j.jlap.2012.06.003_b0075) 2009; vol. 5850
10.1016/j.jlap.2012.06.003_b0120
Clavel (10.1016/j.jlap.2012.06.003_b0510) 2000
Lawvere (10.1016/j.jlap.2012.06.003_b1395) 1963; 50
10.1016/j.jlap.2012.06.003_b0565
10.1016/j.jlap.2012.06.003_b0445
10.1016/j.jlap.2012.06.003_b1775
10.1016/j.jlap.2012.06.003_b0325
10.1016/j.jlap.2012.06.003_b1415
Martı´-Oliet (10.1016/j.jlap.2012.06.003_b1500) 2002; vol. 9
10.1016/j.jlap.2012.06.003_b0205
10.1016/j.jlap.2012.06.003_b1535
10.1016/j.jlap.2012.06.003_b0440
10.1016/j.jlap.2012.06.003_b0320
10.1016/j.jlap.2012.06.003_b1650
10.1016/j.jlap.2012.06.003_b0200
10.1016/j.jlap.2012.06.003_b1895
10.1016/j.jlap.2012.06.003_b0685
10.1016/j.jlap.2012.06.003_b1410
10.1016/j.jlap.2012.06.003_b0690
Bruni (10.1016/j.jlap.2012.06.003_b0400) 2006; 360
10.1016/j.jlap.2012.06.003_b0570
10.1016/j.jlap.2012.06.003_b0450
10.1016/j.jlap.2012.06.003_b0455
Clavel (10.1016/j.jlap.2012.06.003_b0575) 2002; 285
10.1016/j.jlap.2012.06.003_b1545
10.1016/j.jlap.2012.06.003_b0335
10.1016/j.jlap.2012.06.003_b1665
10.1016/j.jlap.2012.06.003_b0215
10.1016/j.jlap.2012.06.003_b1305
10.1016/j.jlap.2012.06.003_b1425
10.1016/j.jlap.2012.06.003_b1420
10.1016/j.jlap.2012.06.003_b0210
10.1016/j.jlap.2012.06.003_b1540
10.1016/j.jlap.2012.06.003_b0695
10.1016/j.jlap.2012.06.003_b1785
10.1016/j.jlap.2012.06.003_b1300
10.1016/j.jlap.2012.06.003_b0460
10.1016/j.jlap.2012.06.003_b1550
10.1016/j.jlap.2012.06.003_b0340
Thati (10.1016/j.jlap.2012.06.003_b2250) 2006; 366
10.1016/j.jlap.2012.06.003_b0305
10.1016/j.jlap.2012.06.003_b1515
10.1016/j.jlap.2012.06.003_b0785
10.1016/j.jlap.2012.06.003_b1875
10.1016/j.jlap.2012.06.003_b0665
10.1016/j.jlap.2012.06.003_b1995
10.1016/j.jlap.2012.06.003_b0545
10.1016/j.jlap.2012.06.003_b1635
10.1016/j.jlap.2012.06.003_b0425
10.1016/j.jlap.2012.06.003_b1755
10.1016/j.jlap.2012.06.003_b0660
10.1016/j.jlap.2012.06.003_b0540
10.1016/j.jlap.2012.06.003_b1870
10.1016/j.jlap.2012.06.003_b0420
10.1016/j.jlap.2012.06.003_b1510
10.1016/j.jlap.2012.06.003_b0300
10.1016/j.jlap.2012.06.003_b1630
10.1016/j.jlap.2012.06.003_b0790
10.1016/j.jlap.2012.06.003_b0670
Durán (10.1016/j.jlap.2012.06.003_b0800) 2007; 66
Durán (10.1016/j.jlap.2012.06.003_b0775) 2008; 21
Borovanský (10.1016/j.jlap.2012.06.003_b0355) 2001; 12
10.1016/j.jlap.2012.06.003_b1405
10.1016/j.jlap.2012.06.003_b0675
10.1016/j.jlap.2012.06.003_b1765
10.1016/j.jlap.2012.06.003_b0555
10.1016/j.jlap.2012.06.003_b1885
10.1016/j.jlap.2012.06.003_b0315
10.1016/j.jlap.2012.06.003_b1645
10.1016/j.jlap.2012.06.003_b0550
10.1016/j.jlap.2012.06.003_b1640
10.1016/j.jlap.2012.06.003_b0430
10.1016/j.jlap.2012.06.003_b1760
10.1016/j.jlap.2012.06.003_b0310
10.1016/j.jlap.2012.06.003_b0795
10.1016/j.jlap.2012.06.003_b1520
10.1016/j.jlap.2012.06.003_b0680
10.1016/j.jlap.2012.06.003_b0560
10.1016/j.jlap.2012.06.003_b1890
Verdejo (10.1016/j.jlap.2012.06.003_b2300) 2005; 27
Aoumeur (10.1016/j.jlap.2012.06.003_b0165) 2002; vol. 2348
10.1016/j.jlap.2012.06.003_b1615
Hansson (10.1016/j.jlap.2012.06.003_b1135) 1994; 6
Anastasio (10.1016/j.jlap.2012.06.003_b0135) 2011; 290
10.1016/j.jlap.2012.06.003_b0885
10.1016/j.jlap.2012.06.003_b1610
10.1016/j.jlap.2012.06.003_b0765
10.1016/j.jlap.2012.06.003_b0880
10.1016/j.jlap.2012.06.003_b1970
Schernhammer (10.1016/j.jlap.2012.06.003_b2070) 2010; 79
10.1016/j.jlap.2012.06.003_b0760
10.1016/j.jlap.2012.06.003_b1730
Ölveczky (10.1016/j.jlap.2012.06.003_b1840) 2002; 285
10.1016/j.jlap.2012.06.003_b0520
10.1016/j.jlap.2012.06.003_b1850
10.1016/j.jlap.2012.06.003_b0890
Kirchner (10.1016/j.jlap.2012.06.003_b1325) 2001; 11
Stewart (10.1016/j.jlap.2012.06.003_b2185) 1994
Paulson (10.1016/j.jlap.2012.06.003_b1905) 1994; vol. 828
Basin (10.1016/j.jlap.2012.06.003_b0255) 1993
Marché (10.1016/j.jlap.2012.06.003_b1480) 2004; 38
Nadathur (10.1016/j.jlap.2012.06.003_b1740) 1988
10.1016/j.jlap.2012.06.003_b0415
10.1016/j.jlap.2012.06.003_b1625
Borovanský (10.1016/j.jlap.2012.06.003_b0350) 2002; 285
10.1016/j.jlap.2012.06.003_b0895
10.1016/j.jlap.2012.06.003_b1985
Younes (10.1016/j.jlap.2012.06.003_b2375) 2006; 204
Agha (10.1016/j.jlap.2012.06.003_b0025) 2006; vol. 153(2)
10.1016/j.jlap.2012.06.003_b1745
10.1016/j.jlap.2012.06.003_b0535
10.1016/j.jlap.2012.06.003_b0770
10.1016/j.jlap.2012.06.003_b1860
10.1016/j.jlap.2012.06.003_b0650
10.1016/j.jlap.2012.06.003_b1980
10.1016/j.jlap.2012.06.003_b1620
10.1016/j.jlap.2012.06.003_b0410
10.1016/j.jlap.2012.06.003_b1990
10.1016/j.jlap.2012.06.003_b0780
Lucas (10.1016/j.jlap.2012.06.003_b1465) 2008; 206
(10.1016/j.jlap.2012.06.003_b1015) 2000
Wirsing (10.1016/j.jlap.2012.06.003_b2370) 2002; 285
Meseguer (10.1016/j.jlap.2012.06.003_b1655) 2008; 403
Şerbănuţă (10.1016/j.jlap.2012.06.003_b2115) 2009; 207
Talcott (10.1016/j.jlap.2012.06.003_b2200) 2002; 285
10.1016/j.jlap.2012.06.003_b1035
10.1016/j.jlap.2012.06.003_b2245
10.1016/j.jlap.2012.06.003_b1155
10.1016/j.jlap.2012.06.003_b2365
10.1016/j.jlap.2012.06.003_b2005
10.1016/j.jlap.2012.06.003_b0195
Degano (10.1016/j.jlap.2012.06.003_b0640) 2002; 275
10.1016/j.jlap.2012.06.003_b1165
10.1016/j.jlap.2012.06.003_b1285
10.1016/j.jlap.2012.06.003_b0190
Giesl (10.1016/j.jlap.2012.06.003_b1050) 2004; vol. 3091
10.1016/j.jlap.2012.06.003_b1280
10.1016/j.jlap.2012.06.003_b0070
Escobar (10.1016/j.jlap.2012.06.003_b0900) 2006; 367
Tinelli (10.1016/j.jlap.2012.06.003_b2265) 2002; vol. 2424
10.1016/j.jlap.2012.06.003_b1040
Puterman (10.1016/j.jlap.2012.06.003_b1940) 1994
Bouhoula (10.1016/j.jlap.2012.06.003_b0360) 2000; 236
10.1016/j.jlap.2012.06.003_b1160
Basin (10.1016/j.jlap.2012.06.003_b0250) 2004; 5
Martı´-Oliet (10.1016/j.jlap.2012.06.003_b1490) 1994; vol. 4
Egea (10.1016/j.jlap.2012.06.003_b0845) 2009; 6
10.1016/j.jlap.2012.06.003_b2135
10.1016/j.jlap.2012.06.003_b1045
10.1016/j.jlap.2012.06.003_b2255
10.1016/j.jlap.2012.06.003_b2015
10.1016/j.jlap.2012.06.003_b1295
10.1016/j.jlap.2012.06.003_b2020
10.1016/j.jlap.2012.06.003_b1055
10.1016/j.jlap.2012.06.003_b1175
10.1016/j.jlap.2012.06.003_b1170
10.1016/j.jlap.2012.06.003_b2380
10.1016/j.jlap.2012.06.003_b1290
10.1016/j.jlap.2012.06.003_b2140
10.1016/j.jlap.2012.06.003_b2260
Meseguer (10.1016/j.jlap.2012.06.003_b1670) 2007; 373
Cirstea (10.1016/j.jlap.2012.06.003_b0480) 2001; 9
Martı´-Oliet (10.1016/j.jlap.2012.06.003_b1495) 1999; vol. 2
10.1016/j.jlap.2012.06.003_b2105
10.1016/j.jlap.2012.06.003_b1255
10.1016/j.jlap.2012.06.003_b0045
10.1016/j.jlap.2012.06.003_b2225
10.1016/j.jlap.2012.06.003_b2345
10.1016/j.jlap.2012.06.003_b2230
10.1016/j.jlap.2012.06.003_b1140
10.1016/j.jlap.2012.06.003_b0295
10.1016/j.jlap.2012.06.003_b1385
10.1016/j.jlap.2012.06.003_b2110
van Deursen (10.1016/j.jlap.2012.06.003_b2285) 1996
10.1016/j.jlap.2012.06.003_b0290
Alpuente (10.1016/j.jlap.2012.06.003_b0085) 2009; vol. 246
10.1016/j.jlap.2012.06.003_b1260
10.1016/j.jlap.2012.06.003_b0050
10.1016/j.jlap.2012.06.003_b1380
Bruni (10.1016/j.jlap.2012.06.003_b0405) 2002; 12
10.1016/j.jlap.2012.06.003_b1145
10.1016/j.jlap.2012.06.003_b2355
10.1016/j.jlap.2012.06.003_b1265
de Oliveira (10.1016/j.jlap.2012.06.003_b0630) 2007; 171
10.1016/j.jlap.2012.06.003_b1025
10.1016/j.jlap.2012.06.003_b2120
Andrei (10.1016/j.jlap.2012.06.003_b0145) 2006; vol. 4060
10.1016/j.jlap.2012.06.003_b1030
10.1016/j.jlap.2012.06.003_b2240
10.1016/j.jlap.2012.06.003_b0185
10.1016/j.jlap.2012.06.003_b1275
10.1016/j.jlap.2012.06.003_b0065
10.1016/j.jlap.2012.06.003_b2000
Harper (10.1016/j.jlap.2012.06.003_b1150) 1993; 40
10.1016/j.jlap.2012.06.003_b2360
10.1016/j.jlap.2012.06.003_b1270
Peterson (10.1016/j.jlap.2012.06.003_b1915) 1981; 28
Verdejo (10.1016/j.jlap.2012.06.003_b2305) 2006; 67
Comon-Lundth (10.1016/j.jlap.2012.06.003_b0605) 2005; vol. 3467
10.1016/j.jlap.2012.06.003_b2205
10.1016/j.jlap.2012.06.003_b1115
10.1016/j.jlap.2012.06.003_b2325
10.1016/j.jlap.2012.06.003_b0385
10.1016/j.jlap.2012.06.003_b0265
10.1016/j.jlap.2012.06.003_b1595
10.1016/j.jlap.2012.06.003_b1235
Ölveczky (10.1016/j.jlap.2012.06.003_b1830) 1996; vol. 1165
10.1016/j.jlap.2012.06.003_b0030
10.1016/j.jlap.2012.06.003_b1360
10.1016/j.jlap.2012.06.003_b1000
10.1016/j.jlap.2012.06.003_b2210
10.1016/j.jlap.2012.06.003_b0395
10.1016/j.jlap.2012.06.003_b1120
10.1016/j.jlap.2012.06.003_b2330
Gnaedig (10.1016/j.jlap.2012.06.003_b1070) 2009; 10
Sen (10.1016/j.jlap.2012.06.003_b2095) 2005; vol. 3576
10.1016/j.jlap.2012.06.003_b0390
10.1016/j.jlap.2012.06.003_b0270
Matthews (10.1016/j.jlap.2012.06.003_b1525) 1993
Avron (10.1016/j.jlap.2012.06.003_b0170) 1992; 9
Cirstea (10.1016/j.jlap.2012.06.003_b0485) 2001; 9
10.1016/j.jlap.2012.06.003_b1005
10.1016/j.jlap.2012.06.003_b2215
10.1016/j.jlap.2012.06.003_b1365
10.1016/j.jlap.2012.06.003_b1485
Abate (10.1016/j.jlap.2012.06.003_b0010) 2007
10.1016/j.jlap.2012.06.003_b1125
10.1016/j.jlap.2012.06.003_b1130
10.1016/j.jlap.2012.06.003_b2340
10.1016/j.jlap.2012.06.003_b2100
10.1016/j.jlap.2012.06.003_b1010
10.1016/j.jlap.2012.06.003_b2220
10.1016/j.jlap.2012.06.003_b0280
10.1016/j.jlap.2012.06.003_b0160
Coquand (10.1016/j.jlap.2012.06.003_b0610) 1988; 76
Lucas (10.1016/j.jlap
References_xml – ident: 10.1016/j.jlap.2012.06.003_b1225
  doi: 10.1016/j.entcs.2004.06.012
– ident: 10.1016/j.jlap.2012.06.003_b2190
  doi: 10.4204/EPTCS.36.9
– ident: 10.1016/j.jlap.2012.06.003_b1850
  doi: 10.1016/j.entcs.2007.06.005
– volume: 236
  start-page: 35
  issue: 1–2
  year: 2000
  ident: 10.1016/j.jlap.2012.06.003_b0360
  article-title: Specification and proof in membership equational logic
  publication-title: Theoretical Computer Science
  doi: 10.1016/S0304-3975(99)00206-6
– volume: 339
  start-page: 69
  year: 1992
  ident: 10.1016/j.jlap.2012.06.003_b1095
  article-title: 2OBJ: a meta-logical framework based on equational logic
  publication-title: Philosophical Transactions of the Royal Society, Series A
– start-page: 314
  year: 1993
  ident: 10.1016/j.jlap.2012.06.003_b1580
  article-title: A logical theory of concurrent objects and its realization in the Maude language
– ident: 10.1016/j.jlap.2012.06.003_b0910
  doi: 10.1007/978-3-540-88313-5_35
– ident: 10.1016/j.jlap.2012.06.003_b2210
  doi: 10.1109/ISoLA.2006.66
– ident: 10.1016/j.jlap.2012.06.003_b0625
  doi: 10.1007/978-3-642-03429-9
– ident: 10.1016/j.jlap.2012.06.003_b1255
– volume: vol. 2635
  start-page: 334
  year: 2004
  ident: 10.1016/j.jlap.2012.06.003_b2170
  article-title: Pure type systems in rewriting logic: specifying typed higher-order languages in a first-order logical framework
– ident: 10.1016/j.jlap.2012.06.003_b1335
– ident: 10.1016/j.jlap.2012.06.003_b1610
– volume: 9
  start-page: 309
  issue: 3
  year: 1992
  ident: 10.1016/j.jlap.2012.06.003_b0170
  article-title: Using typed lambda calculus to implement formal systems on a machine
  publication-title: Journal of Automated Reasoning
  doi: 10.1007/BF00245294
– ident: 10.1016/j.jlap.2012.06.003_b2225
– ident: 10.1016/j.jlap.2012.06.003_b1165
  doi: 10.1007/978-3-642-14052-5_20
– ident: 10.1016/j.jlap.2012.06.003_b1680
– ident: 10.1016/j.jlap.2012.06.003_b2180
– ident: 10.1016/j.jlap.2012.06.003_b0595
– ident: 10.1016/j.jlap.2012.06.003_b0310
  doi: 10.1007/978-3-642-00593-0_2
– ident: 10.1016/j.jlap.2012.06.003_b1125
  doi: 10.1007/978-3-642-16310-4_3
– ident: 10.1016/j.jlap.2012.06.003_b1565
– ident: 10.1016/j.jlap.2012.06.003_b2205
  doi: 10.1016/j.entcs.2005.12.028
– ident: 10.1016/j.jlap.2012.06.003_b0940
  doi: 10.1016/j.entcs.2007.01.004
– ident: 10.1016/j.jlap.2012.06.003_b0615
  doi: 10.1007/3-540-59200-8_59
– volume: 91
  start-page: 127
  issue: 1
  year: 2003
  ident: 10.1016/j.jlap.2012.06.003_b0850
  article-title: Taming heterogeneity – the Ptolemy approach
  publication-title: Proceedings of the IEEE
  doi: 10.1109/JPROC.2002.805829
– ident: 10.1016/j.jlap.2012.06.003_b0980
  doi: 10.1007/3-540-52885-7_90
– ident: 10.1016/j.jlap.2012.06.003_b1065
  doi: 10.1145/1140335.1140351
– ident: 10.1016/j.jlap.2012.06.003_b1140
– ident: 10.1016/j.jlap.2012.06.003_b0090
– ident: 10.1016/j.jlap.2012.06.003_b1210
  doi: 10.1016/j.entcs.2009.05.020
– ident: 10.1016/j.jlap.2012.06.003_b2320
  doi: 10.1007/3-540-58184-7_138
– ident: 10.1016/j.jlap.2012.06.003_b2325
  doi: 10.1016/S1571-0661(04)00033-7
– volume: vol. 1165
  start-page: 379
  year: 1996
  ident: 10.1016/j.jlap.2012.06.003_b1830
  article-title: An object-oriented algebraic steam-boiler control specification
– volume: 13
  start-page: 127
  issue: 2
  year: 1998
  ident: 10.1016/j.jlap.2012.06.003_b1250
  article-title: Mechanical verification of adder circuits using rewrite rule laboratory
  publication-title: Formal Methods in System Design
  doi: 10.1023/A:1008610818519
– ident: 10.1016/j.jlap.2012.06.003_b1485
– ident: 10.1016/j.jlap.2012.06.003_b2295
– ident: 10.1016/j.jlap.2012.06.003_b0950
– start-page: 124
  year: 2010
  ident: 10.1016/j.jlap.2012.06.003_b0060
  article-title: Approximating non-interference and erasure in rewriting logic
– ident: 10.1016/j.jlap.2012.06.003_b0675
– volume: 29
  start-page: 309
  issue: 3–4
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b1770
  article-title: External rewriting for skeptical proof assistants
  publication-title: Journal of Automated Reasoning
  doi: 10.1023/A:1021975117537
– ident: 10.1016/j.jlap.2012.06.003_b1570
  doi: 10.1007/3-540-54317-1_81
– volume: 6
  start-page: 219
  issue: 3
  year: 1996
  ident: 10.1016/j.jlap.2012.06.003_b1390
  article-title: Axiomatizing permutation equivalence
  publication-title: Mathematical Structures in Computer Science
  doi: 10.1017/S0960129500000980
– ident: 10.1016/j.jlap.2012.06.003_b2340
  doi: 10.1007/978-3-540-25935-0_13
– volume: 12
  start-page: 1618
  issue: 11
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b0585
  article-title: Introducing the ITP tool: a tutorial
  publication-title: Journal of Universal Computer Science
– ident: 10.1016/j.jlap.2012.06.003_b2100
  doi: 10.1109/QEST.2005.42
– ident: 10.1016/j.jlap.2012.06.003_b0635
  doi: 10.1145/1314436.1314446
– year: 1996
  ident: 10.1016/j.jlap.2012.06.003_b2285
– volume: vol. 2348
  start-page: 296
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b0165
  article-title: Integrating and rapid-prototyping UML structural and behavioural diagrams using rewriting logic
– ident: 10.1016/j.jlap.2012.06.003_b2135
– ident: 10.1016/j.jlap.2012.06.003_b1820
  doi: 10.1007/11693017_26
– ident: 10.1016/j.jlap.2012.06.003_b0715
  doi: 10.1007/978-3-642-16901-4
– volume: 28
  start-page: 233
  issue: 2
  year: 1981
  ident: 10.1016/j.jlap.2012.06.003_b1915
  article-title: Complete sets of reductions for some equational theories
  publication-title: Journal of the Association for Computing Machinery
  doi: 10.1145/322248.322251
– ident: 10.1016/j.jlap.2012.06.003_b2065
  doi: 10.1016/j.entcs.2007.06.006
– ident: 10.1016/j.jlap.2012.06.003_b1970
  doi: 10.1007/978-3-642-16310-4_12
– ident: 10.1016/j.jlap.2012.06.003_b1995
  doi: 10.1109/SMC-IT.2009.31
– ident: 10.1016/j.jlap.2012.06.003_b0815
  doi: 10.1016/j.entcs.2009.10.025
– ident: 10.1016/j.jlap.2012.06.003_b0390
– volume: 12
  start-page: 53
  issue: 1
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b0405
  article-title: Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
  publication-title: Mathematical Structures in Computer Science
  doi: 10.1017/S0960129501003462
– volume: vol. 5850
  start-page: 790
  year: 2009
  ident: 10.1016/j.jlap.2012.06.003_b0075
  article-title: Specification and verification of web applications in rewriting logic
– ident: 10.1016/j.jlap.2012.06.003_b0925
  doi: 10.1007/978-3-642-15497-3_19
– volume: 31
  start-page: 33
  issue: 1
  year: 2003
  ident: 10.1016/j.jlap.2012.06.003_b0740
  article-title: Theorem proving modulo
  publication-title: Journal of Automated Reasoning
  doi: 10.1023/A:1027357912519
– volume: 40
  start-page: 143
  issue: 1
  year: 1993
  ident: 10.1016/j.jlap.2012.06.003_b1150
  article-title: A framework for defining logics
  publication-title: Journal of the Association Computing Machinery
  doi: 10.1145/138027.138060
– ident: 10.1016/j.jlap.2012.06.003_b1595
  doi: 10.1007/3-540-64299-4_26
– ident: 10.1016/j.jlap.2012.06.003_b1275
  doi: 10.4204/EPTCS.36.6
– ident: 10.1016/j.jlap.2012.06.003_b1380
– year: 2000
  ident: 10.1016/j.jlap.2012.06.003_b0510
– ident: 10.1016/j.jlap.2012.06.003_b2005
  doi: 10.1016/S1571-0661(05)82537-X
– ident: 10.1016/j.jlap.2012.06.003_b1215
  doi: 10.1007/3-540-59200-8
– volume: vol. 2
  start-page: 95
  year: 1999
  ident: 10.1016/j.jlap.2012.06.003_b0475
  article-title: Combining higher-order and first-order computations using ρ-calculus: Towards a semantics of ELAN
– ident: 10.1016/j.jlap.2012.06.003_b0195
  doi: 10.1007/978-3-642-22110-1_11
– ident: 10.1016/j.jlap.2012.06.003_b0970
  doi: 10.1007/978-3-540-27815-3_14
– volume: vol. 2128
  start-page: 250
  year: 2001
  ident: 10.1016/j.jlap.2012.06.003_b2175
  article-title: Rewriting logic as a unifying framework for Petri nets
– ident: 10.1016/j.jlap.2012.06.003_b0100
  doi: 10.1145/1273920.1273938
– ident: 10.1016/j.jlap.2012.06.003_b0020
– ident: 10.1016/j.jlap.2012.06.003_b2145
  doi: 10.1016/S1571-0661(05)82554-X
– volume: 285
  start-page: 519
  issue: 2
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b2370
  article-title: A formal approach to object-oriented software engineering
  publication-title: Theoretical Computer Science
  doi: 10.1016/S0304-3975(01)00367-X
– ident: 10.1016/j.jlap.2012.06.003_b0880
– ident: 10.1016/j.jlap.2012.06.003_b0415
  doi: 10.1016/S1571-0661(05)80016-7
– ident: 10.1016/j.jlap.2012.06.003_b1385
  doi: 10.1007/978-3-540-39958-2_3
– ident: 10.1016/j.jlap.2012.06.003_b0215
  doi: 10.1007/3-540-48320-9_12
– ident: 10.1016/j.jlap.2012.06.003_b0450
  doi: 10.1007/978-3-642-00593-0
– volume: 18
  start-page: 113
  issue: 2
  year: 1994
  ident: 10.1016/j.jlap.2012.06.003_b1330
  article-title: Combining symbolic constraint solvers on algebraic domains
  publication-title: Journal of Symbolic Computation
  doi: 10.1006/jsco.1994.1040
– ident: 10.1016/j.jlap.2012.06.003_b0335
  doi: 10.1007/978-3-642-12029-9_3
– ident: 10.1016/j.jlap.2012.06.003_b1730
  doi: 10.1109/QSIC.2007.4385520
– volume: 20
  start-page: 161
  issue: 1–2
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b1855
  article-title: Semantics and pragmatics of Real-Time Maude
  publication-title: Higher-Order and Symbolic Computation
  doi: 10.1007/s10990-007-9001-5
– ident: 10.1016/j.jlap.2012.06.003_b0200
  doi: 10.4204/EPTCS.36.3
– ident: 10.1016/j.jlap.2012.06.003_b1025
– ident: 10.1016/j.jlap.2012.06.003_b0280
  doi: 10.1016/S1571-0661(04)80674-1
– ident: 10.1016/j.jlap.2012.06.003_b0205
  doi: 10.1007/978-3-642-24559-6_43
– ident: 10.1016/j.jlap.2012.06.003_b0445
  doi: 10.1016/j.entcs.2007.06.012
– ident: 10.1016/j.jlap.2012.06.003_b1230
– ident: 10.1016/j.jlap.2012.06.003_b0835
– ident: 10.1016/j.jlap.2012.06.003_b0855
  doi: 10.1016/S1571-0661(04)00035-0
– ident: 10.1016/j.jlap.2012.06.003_b0065
– start-page: 191
  year: 1989
  ident: 10.1016/j.jlap.2012.06.003_b0975
  article-title: Finitary inductively presented logics
– ident: 10.1016/j.jlap.2012.06.003_b1845
  doi: 10.1016/j.entcs.2004.06.015
– ident: 10.1016/j.jlap.2012.06.003_b2255
  doi: 10.1016/S1571-0661(05)82539-3
– ident: 10.1016/j.jlap.2012.06.003_b0490
– ident: 10.1016/j.jlap.2012.06.003_b0985
– volume: 15
  start-page: 1155
  year: 1986
  ident: 10.1016/j.jlap.2012.06.003_b1240
  article-title: Completion of a set of rules modulo a set of equations
  publication-title: SIAM Journal of Computing
  doi: 10.1137/0215084
– volume: 9
  start-page: 59
  issue: 3
  year: 2010
  ident: 10.1016/j.jlap.2012.06.003_b1735
  article-title: A tool for specifying and validating agents’ interaction protocols: from Agent UML to Maude
  publication-title: Journal of Object Technology
  doi: 10.5381/jot.2010.9.3.a2
– ident: 10.1016/j.jlap.2012.06.003_b0550
  doi: 10.1007/11784180_28
– ident: 10.1016/j.jlap.2012.06.003_b1345
– ident: 10.1016/j.jlap.2012.06.003_b0960
  doi: 10.1007/11784180_13
– volume: 410
  start-page: 254
  issue: 2–3
  year: 2009
  ident: 10.1016/j.jlap.2012.06.003_b1880
  article-title: Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
  publication-title: Theoretical Computer Science
  doi: 10.1016/j.tcs.2008.09.022
– ident: 10.1016/j.jlap.2012.06.003_b1175
– ident: 10.1016/j.jlap.2012.06.003_b0030
  doi: 10.1016/j.entcs.2009.05.010
– ident: 10.1016/j.jlap.2012.06.003_b1945
  doi: 10.1007/b98770
– volume: 79
  start-page: 397
  issue: 6
  year: 2010
  ident: 10.1016/j.jlap.2012.06.003_b2040
  article-title: An overview of the K semantic framework
  publication-title: Journal of Logic and Algebraic Programming
  doi: 10.1016/j.jlap.2010.03.012
– volume: 285
  start-page: 187
  issue: 2
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b0525
  article-title: Maude: specification and programming in rewriting logic
  publication-title: Theoretical Computer Science
  doi: 10.1016/S0304-3975(01)00359-0
– ident: 10.1016/j.jlap.2012.06.003_b1280
– ident: 10.1016/j.jlap.2012.06.003_b0460
  doi: 10.1109/SP.2007.6
– volume: 38
  start-page: 873
  issue: 1
  year: 2004
  ident: 10.1016/j.jlap.2012.06.003_b1480
  article-title: Modular and incremental proofs of AC-termination
  publication-title: Journal of Symbolic Computation
  doi: 10.1016/j.jsc.2004.02.003
– ident: 10.1016/j.jlap.2012.06.003_b0725
  doi: 10.1007/978-3-540-74835-9_38
– volume: 27
  start-page: 797
  year: 1980
  ident: 10.1016/j.jlap.2012.06.003_b1220
  article-title: Confluent reductions: abstract properties and applications to term rewriting systems
  publication-title: Journal of the Association for Computing Machinery
  doi: 10.1145/322217.322230
– ident: 10.1016/j.jlap.2012.06.003_b1435
  doi: 10.1016/j.entcs.2004.06.027
– ident: 10.1016/j.jlap.2012.06.003_b0370
  doi: 10.1007/3-540-44881-0_6
– ident: 10.1016/j.jlap.2012.06.003_b0945
  doi: 10.1007/978-3-642-16310-4_5
– ident: 10.1016/j.jlap.2012.06.003_b1720
  doi: 10.1016/S1571-0661(04)00031-3
– volume: 285
  start-page: 487
  issue: 2
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b2335
  article-title: Equational rules for rewriting logic
  publication-title: Theoretical Computer Science
  doi: 10.1016/S0304-3975(01)00366-8
– volume: 27
  start-page: 1305
  issue: 8
  year: 1995
  ident: 10.1016/j.jlap.2012.06.003_b1750
  article-title: A formal semantics for the ODP computational model
  publication-title: Computer Networks and ISDN Systems
  doi: 10.1016/0169-7552(94)00032-O
– ident: 10.1016/j.jlap.2012.06.003_b2075
  doi: 10.1145/2003476.2003481
– ident: 10.1016/j.jlap.2012.06.003_b0185
– ident: 10.1016/j.jlap.2012.06.003_b1000
– ident: 10.1016/j.jlap.2012.06.003_b2080
– volume: 11
  start-page: 21
  issue: 1
  year: 2001
  ident: 10.1016/j.jlap.2012.06.003_b0735
  article-title: HOL-λσ: an intentional first-order expression of higher-order logic
  publication-title: Mathematical Structures in Computer Science
  doi: 10.1017/S0960129500003236
– ident: 10.1016/j.jlap.2012.06.003_b0265
– ident: 10.1016/j.jlap.2012.06.003_b1665
  doi: 10.1007/978-3-540-25984-8_1
– ident: 10.1016/j.jlap.2012.06.003_b1625
  doi: 10.1007/978-3-540-68679-8_22
– ident: 10.1016/j.jlap.2012.06.003_b1695
  doi: 10.1016/j.entcs.2004.06.024
– ident: 10.1016/j.jlap.2012.06.003_b1350
– volume: 96
  start-page: 217
  issue: 1
  year: 1992
  ident: 10.1016/j.jlap.2012.06.003_b0275
  article-title: The chemical abstract machine
  publication-title: Theoretical Computer Science
  doi: 10.1016/0304-3975(92)90185-I
– ident: 10.1016/j.jlap.2012.06.003_b1870
  doi: 10.1109/IPDPS.2008.4536574
– ident: 10.1016/j.jlap.2012.06.003_b0990
  doi: 10.1145/571157.571164
– ident: 10.1016/j.jlap.2012.06.003_b0905
  doi: 10.1016/j.entcs.2007.02.053
– volume: 360
  start-page: 386
  issue: 1–3
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b0400
  article-title: Semantic foundations for generalized rewrite theories
  publication-title: Theoretical Computer Science
  doi: 10.1016/j.tcs.2006.04.012
– ident: 10.1016/j.jlap.2012.06.003_b1710
– ident: 10.1016/j.jlap.2012.06.003_b1745
– ident: 10.1016/j.jlap.2012.06.003_b1900
  doi: 10.1007/978-3-642-01244-0_6
– volume: 20
  start-page: 3
  issue: 1–2
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b0435
  article-title: Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
  publication-title: Higher-Order and Symbolic Computation
  doi: 10.1007/s10990-007-9003-3
– ident: 10.1016/j.jlap.2012.06.003_b2245
– ident: 10.1016/j.jlap.2012.06.003_b1965
  doi: 10.1109/VLHCC.2009.5295300
– ident: 10.1016/j.jlap.2012.06.003_b0965
  doi: 10.1016/j.entcs.2007.06.008
– volume: 8
  start-page: 136
  issue: 2
  year: 2009
  ident: 10.1016/j.jlap.2012.06.003_b1725
  article-title: Generating Maude specifications from UML use case diagrams
  publication-title: Journal of Object Technology
  doi: 10.5381/jot.2009.8.2.a2
– ident: 10.1016/j.jlap.2012.06.003_b1115
– volume: 32
  start-page: 315
  issue: 4
  year: 2004
  ident: 10.1016/j.jlap.2012.06.003_b2280
  article-title: Modular & incremental automated termination proofs
  publication-title: Journal of Automated Reasoning
  doi: 10.1007/BF03177743
– ident: 10.1016/j.jlap.2012.06.003_b2085
  doi: 10.1007/11916277_11
– volume: vol. 4533
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b0175
– ident: 10.1016/j.jlap.2012.06.003_b1775
  doi: 10.1007/3-540-44881-0
– ident: 10.1016/j.jlap.2012.06.003_b1300
  doi: 10.1109/DATE.2008.4484750
– volume: 204
  start-page: 1368
  issue: 9
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b2375
  article-title: Statistical probabilistic model checking with a focus on time-bounded properties
  publication-title: Information and Computation
  doi: 10.1016/j.ic.2006.05.002
– ident: 10.1016/j.jlap.2012.06.003_b0545
  doi: 10.1016/S1571-0661(05)80135-5
– ident: 10.1016/j.jlap.2012.06.003_b2275
– volume: 27
  start-page: 597
  issue: 6
  year: 2005
  ident: 10.1016/j.jlap.2012.06.003_b0830
  article-title: Using Maude to write and execute ODP information viewpoint specifications
  publication-title: Computer Standards & Interfaces
  doi: 10.1016/j.csi.2004.10.008
– ident: 10.1016/j.jlap.2012.06.003_b1285
  doi: 10.1109/MEMCOD.2008.4547694
– ident: 10.1016/j.jlap.2012.06.003_b0070
– ident: 10.1016/j.jlap.2012.06.003_b2360
  doi: 10.1016/j.entcs.2007.06.015
– ident: 10.1016/j.jlap.2012.06.003_b2030
  doi: 10.1007/978-3-642-17796-5_9
– start-page: 1
  year: 1993
  ident: 10.1016/j.jlap.2012.06.003_b0255
  article-title: Metalogical frameworks
– volume: 66
  start-page: 125
  issue: 2
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b0800
  article-title: Maude’s module algebra
  publication-title: Science of Computer Programming
  doi: 10.1016/j.scico.2006.07.002
– volume: 29
  start-page: 481
  issue: 4
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b2010
  article-title: Writing and executing ODP computational viewpoint specifications using Maude
  publication-title: Computer Standards & Interfaces
  doi: 10.1016/j.csi.2006.11.004
– ident: 10.1016/j.jlap.2012.06.003_b1085
  doi: 10.1109/SP.1982.10014
– ident: 10.1016/j.jlap.2012.06.003_b1630
– ident: 10.1016/j.jlap.2012.06.003_b1160
  doi: 10.1007/978-3-540-32033-3_13
– volume: vol. 3467
  start-page: 294
  year: 2005
  ident: 10.1016/j.jlap.2012.06.003_b0605
  article-title: The finite variant property: how to get rid of some algebraic properties
– year: 1994
  ident: 10.1016/j.jlap.2012.06.003_b2185
– ident: 10.1016/j.jlap.2012.06.003_b1130
  doi: 10.1145/1028613.1028622
– ident: 10.1016/j.jlap.2012.06.003_b1955
  doi: 10.1016/j.entcs.2009.05.023
– volume: 68
  start-page: 131
  issue: 1–2
  year: 2005
  ident: 10.1016/j.jlap.2012.06.003_b2160
  article-title: The open calculus of constructions (part I): an equational type theory with dependent types for programming, specification, and interactive theorem proving
  publication-title: Fundamenta Informaticae
  doi: 10.3233/FUN-2005-681-205
– ident: 10.1016/j.jlap.2012.06.003_b0220
– ident: 10.1016/j.jlap.2012.06.003_b0425
  doi: 10.1016/j.entcs.2007.05.022
– ident: 10.1016/j.jlap.2012.06.003_b0780
– ident: 10.1016/j.jlap.2012.06.003_b0095
  doi: 10.1007/978-3-642-00593-0_18
– ident: 10.1016/j.jlap.2012.06.003_b0695
– ident: 10.1016/j.jlap.2012.06.003_b0535
  doi: 10.1016/B978-044450556-9/50061-7
– volume: vol. 153(2)
  start-page: 213
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b0025
  article-title: PMaude: rewrite-based specification language for probabilistic object systems
– volume: vol. 939
  start-page: 155
  year: 1995
  ident: 10.1016/j.jlap.2012.06.003_b0005
  article-title: It usually works: the temporal logic of stochastic systems
– volume: 208
  start-page: 922
  issue: 8
  year: 2010
  ident: 10.1016/j.jlap.2012.06.003_b0040
  article-title: Context-sensitive dependency pairs
  publication-title: Information and Computation
  doi: 10.1016/j.ic.2010.03.003
– ident: 10.1016/j.jlap.2012.06.003_b0540
  doi: 10.1007/3-540-48118-4_39
– ident: 10.1016/j.jlap.2012.06.003_b1875
  doi: 10.1007/978-3-540-72952-5_8
– ident: 10.1016/j.jlap.2012.06.003_b1985
  doi: 10.1007/978-3-642-16242-8_42
– ident: 10.1016/j.jlap.2012.06.003_b1200
– ident: 10.1016/j.jlap.2012.06.003_b1185
– start-page: 922
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b0010
  article-title: Quantitative and probabilistic modeling in pathway logic
– ident: 10.1016/j.jlap.2012.06.003_b0710
– volume: 16
  start-page: 499
  issue: 6
  year: 2008
  ident: 10.1016/j.jlap.2012.06.003_b1020
  article-title: A sound and complete deductive system for CTL* verification
  publication-title: Logic Journal of the IGPL
  doi: 10.1093/jigpal/jzn018
– ident: 10.1016/j.jlap.2012.06.003_b0110
  doi: 10.4204/EPTCS.36.2
– ident: 10.1016/j.jlap.2012.06.003_b0995
  doi: 10.1145/888251.888264
– ident: 10.1016/j.jlap.2012.06.003_b1360
– ident: 10.1016/j.jlap.2012.06.003_b2365
  doi: 10.1016/S1571-0661(04)00046-5
– year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b1910
– volume: vol. 200(3)
  start-page: 25
  year: 2008
  ident: 10.1016/j.jlap.2012.06.003_b0105
  article-title: Reduction semantics and formal analysis of Orc programs
– ident: 10.1016/j.jlap.2012.06.003_b2315
– ident: 10.1016/j.jlap.2012.06.003_b0120
  doi: 10.1016/j.entcs.2009.02.069
– ident: 10.1016/j.jlap.2012.06.003_b2150
– year: 1986
  ident: 10.1016/j.jlap.2012.06.003_b0015
– ident: 10.1016/j.jlap.2012.06.003_b0365
  doi: 10.1007/3-540-44881-0_4
– ident: 10.1016/j.jlap.2012.06.003_b1860
  doi: 10.4204/EPTCS.36.8
– ident: 10.1016/j.jlap.2012.06.003_b0570
– ident: 10.1016/j.jlap.2012.06.003_b1265
– ident: 10.1016/j.jlap.2012.06.003_b0650
  doi: 10.1007/3-540-55719-9_110
– ident: 10.1016/j.jlap.2012.06.003_b1560
  doi: 10.1007/BFb0039072
– ident: 10.1016/j.jlap.2012.06.003_b1895
  doi: 10.1109/DSN.2008.4630118
– year: 2001
  ident: 10.1016/j.jlap.2012.06.003_b0505
– ident: 10.1016/j.jlap.2012.06.003_b0885
  doi: 10.1007/978-3-642-03429-9_10
– year: 2000
  ident: 10.1016/j.jlap.2012.06.003_b1015
– ident: 10.1016/j.jlap.2012.06.003_b1640
  doi: 10.1007/3-540-64299-4_27
– volume: vol. 5789
  year: 2009
  ident: 10.1016/j.jlap.2012.06.003_b0180
– ident: 10.1016/j.jlap.2012.06.003_b1420
– year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b1790
– volume: 27
  start-page: 113
  issue: 1–2
  year: 2005
  ident: 10.1016/j.jlap.2012.06.003_b2300
  article-title: Two case studies of semantics execution in Maude: CCS and LOTOS
  publication-title: Formal Methods in System Design
  doi: 10.1007/s10703-005-2254-x
– ident: 10.1016/j.jlap.2012.06.003_b2045
  doi: 10.1007/978-3-642-13977-2_12
– volume: vol. 246
  start-page: 27
  year: 2009
  ident: 10.1016/j.jlap.2012.06.003_b0085
  article-title: Order-sorted generalization
– volume: 366
  start-page: 163
  issue: 1–2
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b2250
  article-title: Complete symbolic reachability analysis using back-and-forth narrowing
  publication-title: Theoretical Computer Science
  doi: 10.1016/j.tcs.2006.07.008
– volume: 2
  start-page: 255
  issue: 4
  year: 1990
  ident: 10.1016/j.jlap.2012.06.003_b1375
  article-title: Specifying real-time properties with metric temporal logic
  publication-title: Real-Time Systems
  doi: 10.1007/BF01995674
– volume: vol. 5438
  start-page: 24
  year: 2009
  ident: 10.1016/j.jlap.2012.06.003_b0080
  article-title: A modular equational generalization algorithm
– ident: 10.1016/j.jlap.2012.06.003_b1310
  doi: 10.1016/S1571-0661(05)80022-2
– ident: 10.1016/j.jlap.2012.06.003_b1305
  doi: 10.1007/978-3-540-72952-5_18
– ident: 10.1016/j.jlap.2012.06.003_b1105
  doi: 10.1145/1045405.1045413
– volume: 9
  start-page: 363
  issue: 3
  year: 2001
  ident: 10.1016/j.jlap.2012.06.003_b0480
  article-title: The rewriting calculus – Part I
  publication-title: Logic Journal of the IGPL
– volume: 1998
  issue: 1
  year: 1998
  ident: 10.1016/j.jlap.2012.06.003_b1445
  article-title: Context-sensitive computations in functional and functional logic programs
  publication-title: Journal of Functional and Logic Programming
– volume: 33
  start-page: 641
  year: 1996
  ident: 10.1016/j.jlap.2012.06.003_b0645
  article-title: Axiomatizing the algebra of net computations and processes
  publication-title: Acta Informatica
  doi: 10.1007/BF03036469
– volume: 157
  start-page: 183
  issue: 1–2
  year: 2000
  ident: 10.1016/j.jlap.2012.06.003_b0730
  article-title: Higher order unification via explicit substitutions
  publication-title: Information and Computation
  doi: 10.1006/inco.1999.2837
– ident: 10.1016/j.jlap.2012.06.003_b0620
  doi: 10.1007/978-3-642-22944-2
– volume: 15
  start-page: 55
  year: 1990
  ident: 10.1016/j.jlap.2012.06.003_b0235
  article-title: The Gamma model and its discipline of programming
  publication-title: Science of Computer Programming
  doi: 10.1016/0167-6423(90)90044-E
– ident: 10.1016/j.jlap.2012.06.003_b1590
  doi: 10.1007/3-540-61604-7_64
– ident: 10.1016/j.jlap.2012.06.003_b1170
  doi: 10.1007/978-3-540-73449-9_18
– ident: 10.1016/j.jlap.2012.06.003_b1815
– ident: 10.1016/j.jlap.2012.06.003_b0290
  doi: 10.4204/EPTCS.36.4
– ident: 10.1016/j.jlap.2012.06.003_b1620
  doi: 10.1007/11560647_1
– ident: 10.1016/j.jlap.2012.06.003_b1545
  doi: 10.1109/MEMCOD.2010.5558634
– ident: 10.1016/j.jlap.2012.06.003_b1805
  doi: 10.4204/EPTCS.36.0
– ident: 10.1016/j.jlap.2012.06.003_b1195
– ident: 10.1016/j.jlap.2012.06.003_b0210
  doi: 10.1007/978-3-642-10373-5_37
– ident: 10.1016/j.jlap.2012.06.003_b0230
  doi: 10.1007/978-3-540-73449-9_5
– ident: 10.1016/j.jlap.2012.06.003_b1120
  doi: 10.1109/SP.2008.19
– ident: 10.1016/j.jlap.2012.06.003_b2090
– volume: 17
  start-page: 363
  issue: 3
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b0225
  article-title: A rewriting calculus for cyclic higher-order term graphs
  publication-title: Mathematical Structures in Computer Science
  doi: 10.1017/S0960129507006093
– ident: 10.1016/j.jlap.2012.06.003_b0410
  doi: 10.1016/S1571-0661(05)82530-7
– volume: 285
  start-page: 155
  issue: 2
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b0350
  article-title: ELAN from a rewriting logic point of view
  publication-title: Theoretical Computer Science
  doi: 10.1016/S0304-3975(01)00358-9
– ident: 10.1016/j.jlap.2012.06.003_b1365
  doi: 10.1007/978-3-642-59048-1_7
– ident: 10.1016/j.jlap.2012.06.003_b1535
– volume: 290
  start-page: 60
  year: 2011
  ident: 10.1016/j.jlap.2012.06.003_b0135
  article-title: Data-driven modeling of Alzheimer disease pathogenesis
  publication-title: Journal of Theoretical Biology
  doi: 10.1016/j.jtbi.2011.08.038
– ident: 10.1016/j.jlap.2012.06.003_b0785
  doi: 10.1016/j.entcs.2009.07.062
– ident: 10.1016/j.jlap.2012.06.003_b1990
  doi: 10.1007/978-3-642-22944-2_22
– ident: 10.1016/j.jlap.2012.06.003_b0190
  doi: 10.1007/978-3-642-16310-4_14
– ident: 10.1016/j.jlap.2012.06.003_b1415
  doi: 10.4204/EPTCS.36.7
– ident: 10.1016/j.jlap.2012.06.003_b0320
  doi: 10.1007/978-3-642-02571-6_7
– ident: 10.1016/j.jlap.2012.06.003_b1925
– ident: 10.1016/j.jlap.2012.06.003_b0875
  doi: 10.1016/j.entcs.2006.03.017
– ident: 10.1016/j.jlap.2012.06.003_b0765
  doi: 10.4108/ICST.MOBIQUITOUS2008.3916
– ident: 10.1016/j.jlap.2012.06.003_b2025
  doi: 10.1007/978-3-540-45236-2_21
– ident: 10.1016/j.jlap.2012.06.003_b1100
– ident: 10.1016/j.jlap.2012.06.003_b2060
– ident: 10.1016/j.jlap.2012.06.003_b1405
  doi: 10.1007/978-3-642-04444-1_40
– ident: 10.1016/j.jlap.2012.06.003_b1920
  doi: 10.1109/LICS.1989.39186
– ident: 10.1016/j.jlap.2012.06.003_b1825
  doi: 10.1007/3-540-45314-8_24
– ident: 10.1016/j.jlap.2012.06.003_b1960
– ident: 10.1016/j.jlap.2012.06.003_b0045
  doi: 10.1007/978-3-642-17796-5_12
– volume: 29
  start-page: 253
  issue: 3
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b1865
  article-title: Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
  publication-title: Formal Methods in System Design
  doi: 10.1007/s10703-006-0015-0
– ident: 10.1016/j.jlap.2012.06.003_b0805
– ident: 10.1016/j.jlap.2012.06.003_b1685
  doi: 10.1007/3-540-48320-9_29
– ident: 10.1016/j.jlap.2012.06.003_b1520
  doi: 10.1016/S1571-0661(05)80139-2
– ident: 10.1016/j.jlap.2012.06.003_b2105
– ident: 10.1016/j.jlap.2012.06.003_b1600
  doi: 10.1007/978-0-387-35520-7_5
– ident: 10.1016/j.jlap.2012.06.003_b2330
  doi: 10.1016/S1571-0661(05)82550-2
– ident: 10.1016/j.jlap.2012.06.003_b0705
  doi: 10.1142/3831
– volume: 373
  start-page: 213
  issue: 3
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b1670
  article-title: The rewriting logic semantics project
  publication-title: Theoretical Computer Science
  doi: 10.1016/j.tcs.2006.12.018
– ident: 10.1016/j.jlap.2012.06.003_b2380
  doi: 10.1007/978-3-642-16901-4_44
– ident: 10.1016/j.jlap.2012.06.003_b2220
– ident: 10.1016/j.jlap.2012.06.003_b0920
– volume: 10
  issue: 2
  year: 2009
  ident: 10.1016/j.jlap.2012.06.003_b1070
  article-title: Termination of rewriting under strategies
  publication-title: ACM Transactions on Computational Logic
  doi: 10.1145/1462179.1462182
– volume: 76
  start-page: 95
  year: 1988
  ident: 10.1016/j.jlap.2012.06.003_b0610
  article-title: The calculus of constructions
  publication-title: Information and Computation
  doi: 10.1016/0890-5401(88)90005-3
– ident: 10.1016/j.jlap.2012.06.003_b1650
– ident: 10.1016/j.jlap.2012.06.003_b0760
– ident: 10.1016/j.jlap.2012.06.003_b1615
  doi: 10.1007/978-3-540-32033-3_19
– ident: 10.1016/j.jlap.2012.06.003_b0665
  doi: 10.1109/DISCEX.2000.825030
– ident: 10.1016/j.jlap.2012.06.003_b0395
– ident: 10.1016/j.jlap.2012.06.003_b0860
  doi: 10.1007/3-540-44881-0_3
– volume: 55
  start-page: 87
  year: 1989
  ident: 10.1016/j.jlap.2012.06.003_b0285
  article-title: Sequential and concurrent behavior in Petri net theory
  publication-title: Theoretical Computer Science
  doi: 10.1016/0304-3975(87)90090-9
– ident: 10.1016/j.jlap.2012.06.003_b0590
– volume: 285
  start-page: 359
  issue: 2
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b1840
  article-title: Specification of real-time and hybrid systems in rewriting logic
  publication-title: Theoretical Computer Science
  doi: 10.1016/S0304-3975(01)00363-2
– ident: 10.1016/j.jlap.2012.06.003_b0600
– ident: 10.1016/j.jlap.2012.06.003_b0325
– volume: vol. 230
  start-page: 21
  year: 1986
  ident: 10.1016/j.jlap.2012.06.003_b1935
  article-title: Full-commutation and fair-termination in equational (and combined) term-rewriting systems
– volume: vol. 4
  start-page: 355
  year: 1994
  ident: 10.1016/j.jlap.2012.06.003_b1490
  article-title: General logics and logical frameworks
– ident: 10.1016/j.jlap.2012.06.003_b1055
– ident: 10.1016/j.jlap.2012.06.003_b1290
  doi: 10.1007/978-3-540-68863-1_10
– volume: 373
  start-page: 70
  issue: 1–2
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b0580
  article-title: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
  publication-title: Theoretical Computer Science
  doi: 10.1016/j.tcs.2006.12.009
– ident: 10.1016/j.jlap.2012.06.003_b2140
– ident: 10.1016/j.jlap.2012.06.003_b0375
  doi: 10.1016/j.entcs.2005.06.040
– ident: 10.1016/j.jlap.2012.06.003_b1470
  doi: 10.1016/j.entcs.2009.05.021
– volume: 68
  start-page: 249
  issue: 3
  year: 2005
  ident: 10.1016/j.jlap.2012.06.003_b2165
  article-title: The open calculus of constructions (part II): an equational type theory with dependent types for programming, specification, and interactive theorem proving
  publication-title: Fundamenta Informaticae
  doi: 10.3233/FUN-2005-68304
– ident: 10.1016/j.jlap.2012.06.003_b0245
– volume: 7
  start-page: 25
  year: 1999
  ident: 10.1016/j.jlap.2012.06.003_b1400
  article-title: Modeling concurrent real-time processes using discrete events
  publication-title: Annals of Software Engineering
  doi: 10.1023/A:1018998524196
– ident: 10.1016/j.jlap.2012.06.003_b0745
  doi: 10.4204/EPTCS.18.6
– volume: 9
  start-page: 401
  issue: 3
  year: 2001
  ident: 10.1016/j.jlap.2012.06.003_b0485
  article-title: The rewriting calculus – Part II
  publication-title: Logic Journal of the IGPL
– ident: 10.1016/j.jlap.2012.06.003_b2290
  doi: 10.1007/3-540-36135-9_19
– ident: 10.1016/j.jlap.2012.06.003_b0790
  doi: 10.1007/978-3-642-04222-5_15
– ident: 10.1016/j.jlap.2012.06.003_b0565
– volume: vol. 202
  start-page: 287
  year: 1985
  ident: 10.1016/j.jlap.2012.06.003_b1930
  article-title: Fairness in term rewriting systems
– volume: 79
  start-page: 103
  issue: 2
  year: 2010
  ident: 10.1016/j.jlap.2012.06.003_b1660
  article-title: Algebraic simulations
  publication-title: Journal of Logic and Algebraic Programming
  doi: 10.1016/j.jlap.2009.07.003
– volume: vol. 3091
  start-page: 210
  year: 2004
  ident: 10.1016/j.jlap.2012.06.003_b1050
  article-title: Automated termination proofs with AProVE
– start-page: 738
  year: 1999
  ident: 10.1016/j.jlap.2012.06.003_b0655
  article-title: Specification and analysis of a reliable broadcasting protocol in Maude
– ident: 10.1016/j.jlap.2012.06.003_b1675
– ident: 10.1016/j.jlap.2012.06.003_b1950
– volume: 79
  start-page: 659
  issue: 7
  year: 2010
  ident: 10.1016/j.jlap.2012.06.003_b2070
  article-title: Characterizing and proving operational termination of deterministic conditional term rewriting systems
  publication-title: Journal of Logic and Algebraic Programming
  doi: 10.1016/j.jlap.2009.08.001
– ident: 10.1016/j.jlap.2012.06.003_b0420
  doi: 10.1016/S1571-0661(05)80023-4
– volume: 367
  start-page: 162
  issue: 1–2
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b0900
  article-title: A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties
  publication-title: Theoretical Computer Science
  doi: 10.1016/j.tcs.2006.08.035
– ident: 10.1016/j.jlap.2012.06.003_b1430
  doi: 10.1109/SEFM.2009.11
– volume: 6
  start-page: 512
  issue: 5
  year: 1994
  ident: 10.1016/j.jlap.2012.06.003_b1135
  article-title: A logic for reasoning about time and reliability
  publication-title: Formal Aspects of Computing
  doi: 10.1007/BF01211866
– ident: 10.1016/j.jlap.2012.06.003_b2230
– ident: 10.1016/j.jlap.2012.06.003_b0700
  doi: 10.1007/978-3-540-45085-6_26
– ident: 10.1016/j.jlap.2012.06.003_b0300
– volume: vol. 4350
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b0530
– volume: 207
  start-page: 305
  issue: 2
  year: 2009
  ident: 10.1016/j.jlap.2012.06.003_b2115
  article-title: A rewriting logic approach to operational semantics
  publication-title: Information and Computation
  doi: 10.1016/j.ic.2008.03.026
– ident: 10.1016/j.jlap.2012.06.003_b0825
  doi: 10.1007/978-3-642-24933-4_17
– ident: 10.1016/j.jlap.2012.06.003_b1295
  doi: 10.1007/978-3-540-75454-1_19
– ident: 10.1016/j.jlap.2012.06.003_b0465
  doi: 10.1007/1-4020-8143-X_6
– ident: 10.1016/j.jlap.2012.06.003_b0930
  doi: 10.1007/978-3-540-73449-9_13
– volume: 275
  start-page: 259
  issue: 1–2
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b0640
  article-title: A causal semantics for CCS via rewriting logic
  publication-title: Theoretical Computer Science
  doi: 10.1016/S0304-3975(01)00165-7
– ident: 10.1016/j.jlap.2012.06.003_b1260
  doi: 10.1007/978-3-642-16310-4_10
– volume: 6
  start-page: 73
  issue: 1–2
  year: 2009
  ident: 10.1016/j.jlap.2012.06.003_b0845
  article-title: Formal executable semantics for conformance in the MDE framework
  publication-title: Innovations in Systems and Software Engineering
– ident: 10.1016/j.jlap.2012.06.003_b0720
  doi: 10.1016/j.entcs.2009.02.068
– ident: 10.1016/j.jlap.2012.06.003_b1885
  doi: 10.1007/11548133_20
– ident: 10.1016/j.jlap.2012.06.003_b2195
  doi: 10.1007/978-3-642-16310-4_11
– ident: 10.1016/j.jlap.2012.06.003_b2110
  doi: 10.1007/978-3-642-16310-4_8
– ident: 10.1016/j.jlap.2012.06.003_b1340
  doi: 10.1016/B978-044450556-9/50065-4
– volume: 4
  start-page: 236
  issue: 3
  year: 2003
  ident: 10.1016/j.jlap.2012.06.003_b2130
  article-title: Modelling protein functional domains in signal transduction using Maude
  publication-title: Briefings in Bioinformatics
  doi: 10.1093/bib/4.3.236
– volume: vol. 6286
  start-page: 105
  year: 2010
  ident: 10.1016/j.jlap.2012.06.003_b0055
  article-title: Abstract certification of global non-interference in rewriting logic
– volume: 25
  start-page: 83
  issue: 2
  year: 2003
  ident: 10.1016/j.jlap.2012.06.003_b0840
  article-title: Formalizing ODP enterprise specifications in Maude
  publication-title: Computer Standards & Interfaces
  doi: 10.1016/S0920-5489(02)00121-6
– ident: 10.1016/j.jlap.2012.06.003_b2035
  doi: 10.1007/978-3-642-04694-0_10
– ident: 10.1016/j.jlap.2012.06.003_b1760
  doi: 10.1145/253228.253238
– volume: 12
  start-page: 69
  issue: 1
  year: 2001
  ident: 10.1016/j.jlap.2012.06.003_b0355
  article-title: Rewriting with strategies in ELAN: a functional semantics
  publication-title: International Journal of Foundations of Computer Science
  doi: 10.1142/S0129054101000412
– ident: 10.1016/j.jlap.2012.06.003_b1035
  doi: 10.1109/SCAM.2006.16
– volume: 402
  start-page: 234
  issue: 2–3
  year: 2008
  ident: 10.1016/j.jlap.2012.06.003_b2350
  article-title: A timed semantics of Orc
  publication-title: Theoretical Computer Science
  doi: 10.1016/j.tcs.2008.04.037
– ident: 10.1016/j.jlap.2012.06.003_b1320
  doi: 10.1007/3-540-59200-8_79
– ident: 10.1016/j.jlap.2012.06.003_b0770
  doi: 10.1109/POLICY.2003.1206954
– volume: 11
  start-page: 207
  issue: 2
  year: 2001
  ident: 10.1016/j.jlap.2012.06.003_b1325
  article-title: Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories
  publication-title: Journal of Functional Programming
  doi: 10.1017/S0956796800003907
– volume: vol. 2
  start-page: 1
  year: 1999
  ident: 10.1016/j.jlap.2012.06.003_b1495
  article-title: Action and change in rewriting logic
– ident: 10.1016/j.jlap.2012.06.003_b0795
  doi: 10.1016/S1571-0661(05)80012-X
– ident: 10.1016/j.jlap.2012.06.003_b1460
  doi: 10.1145/1389449.1389463
– volume: 351
  start-page: 289
  year: 2000
  ident: 10.1016/j.jlap.2012.06.003_b1355
  article-title: Meaningful relationships: the regulation of the Ras/Raf/MEK/ERK pathway by protein interactions
  publication-title: Biochemical Journal
  doi: 10.1042/bj3510289
– ident: 10.1016/j.jlap.2012.06.003_b1010
  doi: 10.1007/978-3-642-16901-4_1
– ident: 10.1016/j.jlap.2012.06.003_b1060
  doi: 10.1145/1273920.1273943
– volume: vol. 2424
  start-page: 308
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b2265
  article-title: A DPLL-based calculus for ground satisfiability modulo theories
– volume: 373
  start-page: 163
  issue: 3
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b0140
  article-title: A rewriting logic framework for operational semantics of membrane systems
  publication-title: Theoretical Computer Science
  doi: 10.1016/j.tcs.2006.12.016
– ident: 10.1016/j.jlap.2012.06.003_b0340
  doi: 10.1016/S1571-0661(05)82549-6
– ident: 10.1016/j.jlap.2012.06.003_b0380
  doi: 10.1007/3-540-45610-4_18
– ident: 10.1016/j.jlap.2012.06.003_b0685
  doi: 10.1109/DISCEX.2000.824980
– ident: 10.1016/j.jlap.2012.06.003_b0870
  doi: 10.1016/S1571-0661(05)82533-2
– ident: 10.1016/j.jlap.2012.06.003_b0865
  doi: 10.1142/9789812799623_0038
– volume: 39
  start-page: 95
  issue: 1
  year: 1992
  ident: 10.1016/j.jlap.2012.06.003_b1080
  article-title: Institutions: abstract model theory for specification and programming
  publication-title: Journal of the ACM
  doi: 10.1145/147508.147524
– start-page: 810
  year: 1988
  ident: 10.1016/j.jlap.2012.06.003_b1740
  article-title: An overview of λProlog
– ident: 10.1016/j.jlap.2012.06.003_b0455
  doi: 10.1007/3-540-44881-0_15
– ident: 10.1016/j.jlap.2012.06.003_b1755
  doi: 10.1007/3-540-48118-4_38
– ident: 10.1016/j.jlap.2012.06.003_b0430
  doi: 10.1016/j.entcs.2008.03.101
– ident: 10.1016/j.jlap.2012.06.003_b1235
– ident: 10.1016/j.jlap.2012.06.003_b1510
– ident: 10.1016/j.jlap.2012.06.003_b0915
  doi: 10.1007/978-3-642-03829-7_1
– ident: 10.1016/j.jlap.2012.06.003_b1550
  doi: 10.1016/S0049-237X(08)70132-0
– volume: 8
  issue: 2
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b1975
  article-title: A rewriting decision procedure for Dijkstra-Scholten’s syllogistic logic with complements
  publication-title: Revista Colombiana de Computación
– ident: 10.1016/j.jlap.2012.06.003_b0660
– start-page: 3
  year: 2000
  ident: 10.1016/j.jlap.2012.06.003_b1090
  article-title: Introducing OBJ
– volume: 67
  start-page: 226
  issue: 1–2
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b2305
  article-title: Executable structural operational semantics in Maude
  publication-title: Journal of Logic and Algebraic Programming
  doi: 10.1016/j.jlap.2005.09.008
– ident: 10.1016/j.jlap.2012.06.003_b0890
– volume: vol. 154
  start-page: 361
  year: 1983
  ident: 10.1016/j.jlap.2012.06.003_b1245
  article-title: Incremental construction of unification algorithms in equational theories
– ident: 10.1016/j.jlap.2012.06.003_b1155
– ident: 10.1016/j.jlap.2012.06.003_b1800
  doi: 10.1109/SNPD.2008.42
– ident: 10.1016/j.jlap.2012.06.003_b1585
– ident: 10.1016/j.jlap.2012.06.003_b1765
  doi: 10.1007/3-540-44755-5_23
– volume: vol. 4060
  start-page: 194
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b0145
  article-title: Non-intrusive formal methods and strategic rewriting for a chemical application
– ident: 10.1016/j.jlap.2012.06.003_b0555
  doi: 10.1016/S1571-0661(04)00034-9
– volume: 171
  start-page: 59
  issue: 4
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b0630
  article-title: Rewriting-based access control policies
  publication-title: Electronic Notes in Theoretical Computer Science
  doi: 10.1016/j.entcs.2007.02.055
– ident: 10.1016/j.jlap.2012.06.003_b1180
  doi: 10.1007/11814771_14
– ident: 10.1016/j.jlap.2012.06.003_b0955
  doi: 10.1007/978-3-540-27813-9_46
– volume: 95
  start-page: 446
  issue: 4
  year: 2005
  ident: 10.1016/j.jlap.2012.06.003_b1455
  article-title: Operational termination of conditional term rewriting systems
  publication-title: Information Processing Letters
  doi: 10.1016/j.ipl.2005.05.002
– start-page: 61
  year: 1993
  ident: 10.1016/j.jlap.2012.06.003_b1525
  article-title: Experience with FS0 as a framework theory
– ident: 10.1016/j.jlap.2012.06.003_b1005
  doi: 10.1109/ASE.2006.73
– ident: 10.1016/j.jlap.2012.06.003_b0935
– ident: 10.1016/j.jlap.2012.06.003_b0560
  doi: 10.1007/978-3-540-27815-3_10
– volume: vol. 4127
  start-page: 179
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b0240
  article-title: Term rewriting for access control
– ident: 10.1016/j.jlap.2012.06.003_b0515
  doi: 10.1007/978-3-642-02348-4_27
– ident: 10.1016/j.jlap.2012.06.003_b0820
  doi: 10.1007/978-3-642-22944-2_30
– ident: 10.1016/j.jlap.2012.06.003_b1690
  doi: 10.1007/3-540-47993-7_1
– ident: 10.1016/j.jlap.2012.06.003_b0345
– ident: 10.1016/j.jlap.2012.06.003_b2355
  doi: 10.1007/3-540-48118-4
– volume: 206
  start-page: 652
  issue: 5
  year: 2008
  ident: 10.1016/j.jlap.2012.06.003_b1465
  article-title: Termination of just/fair computations in term rewriting
  publication-title: Information and Computation
  doi: 10.1016/j.ic.2007.11.002
– volume: 20
  start-page: 123
  issue: 1–2
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b1700
  article-title: Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
  publication-title: Higher-Order and Symbolic Computation
  doi: 10.1007/s10990-007-9000-6
– ident: 10.1016/j.jlap.2012.06.003_b1980
– volume: 21
  start-page: 59
  issue: 1–2
  year: 2008
  ident: 10.1016/j.jlap.2012.06.003_b0775
  article-title: Proving operational termination of membership equational programs
  publication-title: Higher-Order and Symbolic Computation
  doi: 10.1007/s10990-008-9028-2
– volume: 5
  start-page: 528
  issue: 3
  year: 2004
  ident: 10.1016/j.jlap.2012.06.003_b0250
  article-title: Reflective metalogical frameworks
  publication-title: ACM Transactions on Computational Logic
  doi: 10.1145/1013560.1013566
– ident: 10.1016/j.jlap.2012.06.003_b0690
– ident: 10.1016/j.jlap.2012.06.003_b0260
– ident: 10.1016/j.jlap.2012.06.003_b1785
  doi: 10.1007/978-3-540-39958-2_12
– volume: 50
  start-page: 869
  year: 1963
  ident: 10.1016/j.jlap.2012.06.003_b1395
  article-title: Functorial semantics of algebraic theories
  publication-title: Proceedings, National Academy of Sciences
  doi: 10.1073/pnas.50.5.869
– ident: 10.1016/j.jlap.2012.06.003_b2015
– ident: 10.1016/j.jlap.2012.06.003_b0305
  doi: 10.1109/CSMR.2005.14
– ident: 10.1016/j.jlap.2012.06.003_b2000
  doi: 10.1016/S1571-0661(05)80140-9
– ident: 10.1016/j.jlap.2012.06.003_b2055
  doi: 10.1007/978-3-540-85863-8_50
– volume: 285
  start-page: 441
  issue: 2
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b2200
  article-title: Actor theories in rewriting logic
  publication-title: Theoretical Computer Science
  doi: 10.1016/S0304-3975(01)00365-6
– ident: 10.1016/j.jlap.2012.06.003_b1030
– volume: 126
  start-page: 83
  issue: 2
  year: 1994
  ident: 10.1016/j.jlap.2012.06.003_b0130
  article-title: A theory of timed automata
  publication-title: Theoretical Computer Science
  doi: 10.1016/0304-3975(94)90010-8
– ident: 10.1016/j.jlap.2012.06.003_b1890
– ident: 10.1016/j.jlap.2012.06.003_b0520
  doi: 10.1016/S1571-0661(05)80020-9
– ident: 10.1016/j.jlap.2012.06.003_b1190
  doi: 10.1007/11805618_5
– ident: 10.1016/j.jlap.2012.06.003_b2270
– ident: 10.1016/j.jlap.2012.06.003_b1605
  doi: 10.1007/10721975_1
– ident: 10.1016/j.jlap.2012.06.003_b1440
  doi: 10.1016/j.entcs.2009.03.038
– start-page: 407
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b0150
  article-title: Graph rewriting and strategies for modeling biochemical networks
– ident: 10.1016/j.jlap.2012.06.003_b0050
  doi: 10.1007/978-3-642-16310-4_4
– volume: 253
  start-page: 17
  issue: 4
  year: 2009
  ident: 10.1016/j.jlap.2012.06.003_b0155
  article-title: A port graph calculus for autonomic computing and invariant verification
  publication-title: Electronic Notes in Theoretical Computer Science
  doi: 10.1016/j.entcs.2009.10.015
– year: 1994
  ident: 10.1016/j.jlap.2012.06.003_b1940
– ident: 10.1016/j.jlap.2012.06.003_b1205
  doi: 10.1007/978-3-540-73449-9_19
– ident: 10.1016/j.jlap.2012.06.003_b0495
  doi: 10.1016/S1571-0661(05)82526-5
– ident: 10.1016/j.jlap.2012.06.003_b0470
– ident: 10.1016/j.jlap.2012.06.003_b2120
  doi: 10.1007/978-3-642-04444-1_24
– start-page: 218
  year: 1989
  ident: 10.1016/j.jlap.2012.06.003_b1075
  article-title: OBJ as a theorem prover with application to hardware verification
– ident: 10.1016/j.jlap.2012.06.003_b2215
  doi: 10.1109/WSC.2006.322940
– ident: 10.1016/j.jlap.2012.06.003_b1645
  doi: 10.1007/978-3-642-16901-4_21
– ident: 10.1016/j.jlap.2012.06.003_b1315
  doi: 10.1016/j.entcs.2009.02.072
– ident: 10.1016/j.jlap.2012.06.003_b0500
  doi: 10.1016/S1571-0661(05)82613-1
– ident: 10.1016/j.jlap.2012.06.003_b1410
  doi: 10.1007/978-3-642-34005-5_10
– ident: 10.1016/j.jlap.2012.06.003_b0810
  doi: 10.1016/j.entcs.2009.05.014
– ident: 10.1016/j.jlap.2012.06.003_b0385
  doi: 10.1016/j.entcs.2004.06.019
– ident: 10.1016/j.jlap.2012.06.003_b1425
– ident: 10.1016/j.jlap.2012.06.003_b0295
– ident: 10.1016/j.jlap.2012.06.003_b2050
– volume: 403
  start-page: 239
  issue: 2–3
  year: 2008
  ident: 10.1016/j.jlap.2012.06.003_b1655
  article-title: Equational abstractions
  publication-title: Theoretical Computer Science
  doi: 10.1016/j.tcs.2008.04.040
– volume: 178
  start-page: 294
  issue: 1
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b1450
  article-title: Context-sensitive rewriting strategies
  publication-title: Information and Computation
  doi: 10.1016/S0890-5401(02)93176-7
– ident: 10.1016/j.jlap.2012.06.003_b1540
– ident: 10.1016/j.jlap.2012.06.003_b0270
  doi: 10.1007/3-540-10003-2_61
– ident: 10.1016/j.jlap.2012.06.003_b0670
  doi: 10.1016/S1571-0661(05)80132-X
– ident: 10.1016/j.jlap.2012.06.003_b0755
  doi: 10.1007/3-540-45499-3_30
– volume: vol. 2860
  start-page: 304
  year: 2003
  ident: 10.1016/j.jlap.2012.06.003_b1475
  article-title: A compositional theory of refinement for branching time
– ident: 10.1016/j.jlap.2012.06.003_b0750
– ident: 10.1016/j.jlap.2012.06.003_b0895
  doi: 10.1145/2003476.2003488
– ident: 10.1016/j.jlap.2012.06.003_b1635
  doi: 10.1007/BFb0014422
– volume: 14
  start-page: 228
  issue: 3
  year: 2003
  ident: 10.1016/j.jlap.2012.06.003_b2310
  article-title: Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
  publication-title: Formal Aspects of Computing
  doi: 10.1007/s001650300003
– volume: 53
  start-page: 937
  issue: 6
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b1780
  article-title: Solving SAT and SAT Modulo Theories: from an Abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL(T)
  publication-title: Journal of the ACM
  doi: 10.1145/1217856.1217859
– volume: vol. 3835
  start-page: 412
  year: 2005
  ident: 10.1016/j.jlap.2012.06.003_b0035
  article-title: Automatic validation of transformation rules for Java verification against a rewriting semantics
– ident: 10.1016/j.jlap.2012.06.003_b1145
– volume: vol. 9
  start-page: 1
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b1500
  article-title: Rewriting logic as a logical and semantic framework
– ident: 10.1016/j.jlap.2012.06.003_b0440
  doi: 10.1007/978-3-540-68863-1_4
– ident: 10.1016/j.jlap.2012.06.003_b0680
– ident: 10.1016/j.jlap.2012.06.003_b1515
  doi: 10.1016/j.entcs.2009.05.022
– ident: 10.1016/j.jlap.2012.06.003_b1835
  doi: 10.1016/S1571-0661(04)00044-1
– ident: 10.1016/j.jlap.2012.06.003_b0115
  doi: 10.1007/978-3-642-22944-2_28
– ident: 10.1016/j.jlap.2012.06.003_b1270
  doi: 10.1016/j.entcs.2007.06.007
– ident: 10.1016/j.jlap.2012.06.003_b1110
  doi: 10.1109/NPSEC.2005.1532045
– ident: 10.1016/j.jlap.2012.06.003_b1555
  doi: 10.1145/97945.97958
– volume: vol. 4220
  start-page: 221
  year: 2006
  ident: 10.1016/j.jlap.2012.06.003_b2235
  article-title: Multiple representations of biological processes
– ident: 10.1016/j.jlap.2012.06.003_b2240
  doi: 10.1142/9789812704856_0053
– ident: 10.1016/j.jlap.2012.06.003_b2345
  doi: 10.1109/SRDS.2008.11
– ident: 10.1016/j.jlap.2012.06.003_b0160
  doi: 10.1016/j.entcs.2009.05.011
– ident: 10.1016/j.jlap.2012.06.003_b2020
  doi: 10.1145/1985793.1985928
– start-page: 414
  year: 1990
  ident: 10.1016/j.jlap.2012.06.003_b0125
  article-title: Model-checking for real-time systems
– volume: 22
  start-page: 269
  issue: 3–4
  year: 2010
  ident: 10.1016/j.jlap.2012.06.003_b0330
  article-title: An algebraic semantics for MOF
  publication-title: Formal Aspects of Computing
  doi: 10.1007/s00165-009-0140-9
– ident: 10.1016/j.jlap.2012.06.003_b2155
– volume: 96
  start-page: 73
  issue: 1
  year: 1992
  ident: 10.1016/j.jlap.2012.06.003_b1575
  article-title: Conditional rewriting logic as a unified model of concurrency
  publication-title: Theoretical Computer Science
  doi: 10.1016/0304-3975(92)90182-F
– volume: 26
  start-page: 113
  issue: 2
  year: 1996
  ident: 10.1016/j.jlap.2012.06.003_b1530
  article-title: The NRL protocol analyzer: an overview
  publication-title: Journal of Logic Programming
  doi: 10.1016/0743-1066(95)00095-X
– ident: 10.1016/j.jlap.2012.06.003_b1040
– volume: 285
  start-page: 121
  issue: 2
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b1505
  article-title: Rewriting logic: roadmap and bibliography
  publication-title: Theoretical Computer Science
  doi: 10.1016/S0304-3975(01)00357-7
– volume: vol. 828
  year: 1994
  ident: 10.1016/j.jlap.2012.06.003_b1905
  article-title: Isabelle
– ident: 10.1016/j.jlap.2012.06.003_b1795
– ident: 10.1016/j.jlap.2012.06.003_b1045
  doi: 10.1007/b135673
– volume: vol. 3576
  start-page: 266
  year: 2005
  ident: 10.1016/j.jlap.2012.06.003_b2095
  article-title: On statistical model checking of stochastic systems
– volume: vol. 47
  year: 1961
  ident: 10.1016/j.jlap.2012.06.003_b2125
  article-title: Theory of Formal Systems
– ident: 10.1016/j.jlap.2012.06.003_b0315
  doi: 10.1007/978-3-642-03429-9_6
– ident: 10.1016/j.jlap.2012.06.003_b2260
– volume: 285
  start-page: 245
  issue: 2
  year: 2002
  ident: 10.1016/j.jlap.2012.06.003_b0575
  article-title: Reflection in conditional rewriting logic
  publication-title: Theoretical Computer Science
  doi: 10.1016/S0304-3975(01)00360-7
– ident: 10.1016/j.jlap.2012.06.003_b1810
– ident: 10.1016/j.jlap.2012.06.003_b1705
  doi: 10.1109/DASC.2009.5347579
– volume: 28
  start-page: 225
  issue: 2–3
  year: 1997
  ident: 10.1016/j.jlap.2012.06.003_b1370
  article-title: Timed rewriting logic with an application to object-based specification
  publication-title: Science of Computer Programming
  doi: 10.1016/S0167-6423(96)00024-X
– volume: 6
  start-page: 83
  issue: 1
  year: 2007
  ident: 10.1016/j.jlap.2012.06.003_b1715
  article-title: Computation orchestration
  publication-title: Software and System Modeling
  doi: 10.1007/s10270-006-0012-1
SSID ssj0017086
Score 2.013946
SourceID crossref
SourceType Enrichment Source
Index Database
StartPage 721
Title Twenty years of rewriting logic
Volume 81
WOSCitedRecordID wos000311195300002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  issn: 1567-8326
  databaseCode: AIEXJ
  dateStart: 20010101
  customDbUrl:
  isFulltext: true
  dateEnd: 20140131
  titleUrlDefault: https://www.sciencedirect.com
  omitProxy: false
  ssIdentifier: ssj0017086
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3JTsMwELWg5cCFHbGTA7cqqM5m51ihIuih4lCk3iI7sSuqklZdWP6e8ZI0KgLRA5coTV2rznPeTDzjNwjdYIkFFmHqxpwHbqDEhhjxiSsz4fGMRjCLpC42Qbpd2u_HT7bQ9kyXEyB5Tj8-4sm_Qg3XAGy1dXYNuMtO4QKcA-hwBNjh-Dfg38GOfDY-YVw6TWMq3pVwUT5oaJqreqNqjlSkI_T3Rr11NFABZfhk87deCwuntXpnYrAwUHfGMxNqr64eYK_MQysJD4gSnuqoyogUV5AnLq0QHDH7ma2tJKblNxo2KwLD2-GIKU1Qtd6qYj7-0ugUgfYVW1RmCBbJZ8NE9ZGoPhKdgedvorpHwhgYrN56bPc7ZcyINHVdz3JEdouUyeZb_ScVN6TiT_T20I59EXBaBsB9tCHyA7RbFNlwLOceomuDp6PxdMbSKfF0NF5H6Pm-3bt7cG1VCzf1AjJ3A08y3mS0yWKh9gFTETEO_gMHT9FPIwEeNuOxEiaMuEekn0kaZoTHUSgY3O-mf4xq-TgXJ8gBrpahoBkOmQhCX8Crc-RhP5IUMxIzeYpwMcgktZLvqvLIKPn59p6iRvmbiRE8-aX12Vqtz9H2cg5eoNp8uhCXaCt9m7_MplcWzy90UEwr
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Twenty+years+of+rewriting+logic&rft.jtitle=The+journal+of+logic+and+algebraic+programming&rft.au=Meseguer%2C+Jos%C3%A9&rft.date=2012-10-01&rft.issn=1567-8326&rft.volume=81&rft.issue=7-8&rft.spage=721&rft.epage=781&rft_id=info:doi/10.1016%2Fj.jlap.2012.06.003&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlap_2012_06_003
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1567-8326&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1567-8326&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1567-8326&client=summon